theorem Th74: :: NUMPOLY1:74

for n being non zero Nat st n is even & n is perfect holds
n is triangular