theorem Skup: :: MOEBIUS2:53

for n being non zero Nat holds TSqF n divides n