theorem Th20: :: NUMPOLY1:20

for n being Nat holds Triangle n >= 0