theorem Th42: :: NUMPOLY1:42

for n being Nat holds Triangle n <= Triangle (n + 1)