theorem Th44: :: NUMPOLY1:44

for n being Nat holds n <= Triangle n