theorem :: NUMBER10:69

{ n where n is 3 -gonal Nat : n is 5 -gonal } is infinite