theorem Th67: :: NUMPOLY1:67

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