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