theorem Th7: :: NEWTON02:7

for a, b, n being Nat holds (a |^ n) gcd (b |^ n) = (a gcd b) |^ n