theorem Skup: :: MOEBIUS3:44

for n being non zero Nat holds (SqF n) |^ 2 divides n