theorem :: PYTHTRIP:15

{3,4,5} is non degenerate simplified Pythagorean_triple