theorem Th1: :: MOEBIUS1:1

for n being non zero Nat st n <> 1 holds
n >= 2