theorem Th46: :: NUMPOLY1:46

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