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