阪大のは有理点を頂点とする正三角形は存在しないことを示せだったはず
ほぼ同じ