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