>定理「pが奇素数のとき、x^p+y^p=z^pは自然数解を持つ」
上記の定理は、間違いです。