for n being Nat holds (Triangle n) |^ 2 = Sum (NPower (3,n))