Direct consequence of Euclid's formula.
Articles by others on the same topic
A Pythagorean triple consists of three positive integers satisfying . It is primitive when their greatest common divisor is one. Reducing their square numbers modulo shows that at least one leg is divisible by ; reducing modulo shows that both legs cannot be odd.
