theorem Th10: :: POLYFORM:12

for n being Nat holds 1 < n + 2