theorem Th55: :: NUMPOLY1:55

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