theorem :: NUMPOLY1:62

for n being Nat holds ((Triangle (n + 1)) |^ 2) - ((Triangle n) |^ 2) = (n + 1) |^ 3