There are infinitely many Pythagorean triples (source code)

= There are infinitely many Pythagorean triples

Direct consequence of <Euclid's formula>.