theorem Th3: :: POLYNOM9:3

for a, b being Integer st a ^2 divides b ^2 holds
a divides b