theorem :: MOEBIUS2:45

for n being non zero Nat holds SqF n divides n