300年後ぐらいにもっと簡単な証明が見つかって、先駆者の正しさがそこからまた300年かけて検証されてくんだろうなと予想