theorem :: NUMPOLY1:61

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