>>83
x^3-n^3=0 は「自然数解のみを持つ」を満たさない