theorem :: NUMPOLY1:20

for n being Nat holds Triangle n >= 0 ;