Pythagorean triple

This proves the Pythagorean theorem.