Bebizonyítandó, hogy egy egész szám akkor és csak akkor négyzetösszege két egész számnak, ha kétszerese ily tulajdonságú.