【日高風定理】x=y^2+yは自然数解を持たない。

どこから、導いた式でしょうか？