for n being Nat st n <> 2 holds
not Triangle n is prime