theorem Th45: :: NUMPOLY1:45

for n being non trivial Nat holds n < Triangle n