theorem :: PYTHTRIP:16

{ X where X is Pythagorean_triple : ( not X is degenerate & X is simplified ) } is infinite