フェルマーの二平方定理

素数 p に関して p ≡ 1 ( mod 4 ) なら p は２つの平方数の和であらわすことができる。