theorem Th12: :: ABIAN:12

for n being odd Nat holds 1 <= n