theorem Th102: :: NUMBER08:102

for n being Nat
for x, y being Complex st x = (((3 |^ n) - (3 to_power (1 - n))) - 2) / 4 & y = (((3 |^ n) + (3 to_power (1 - n))) - 4) / 8 holds
x * (x + 1) = (4 * y) * (y + 1)