theorem :: NUMPOLY1:64

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