小野田襄二は自然数のみを用いてフェルマーの最終定理を証明した