theorem NEWTON027: :: NEWTON03:4

for n being Nat
for t, z being Integer holds (t |^ n) gcd (z |^ n) = (t gcd z) |^ n