theorem Th19: :: NUMPOLY1:19

for n being Nat holds Triangle n = (n * (n + 1)) / 2