for n being non zero Nat holds TSqFactors n = (SqFactors n) |^ 2