定理「互いに素である2つの数の積が平方数であるならば、2つの数もそれぞれ平方数である。
第二步、“如果一个能表示为两个平方数之和的整数被另一个能表示为两个平方数之和的素数整除，则它们的商也能表示为两个平方数之和。