theorem Th10: :: NUMPOLY1:10

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