theorem Th101: :: NUMBER08:101

for n being Nat st n > 1 holds
((3 |^ n) + (3 to_power (1 - n))) - 4 > 0