theorem :: NUMPOLY1:68

for n, m being Nat holds Triangle (n + m) = ((Triangle n) + (Triangle m)) + (n * m)