for m, n being non zero Nat st SquarefreePart n = SquarefreePart m & TSqF m = TSqF n holds
m = n