これの証明を考案した人って古代ギリシャ人になるんかな