theorem :: NUMPOLY1:73

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