フェルマーの二平方定理

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