theorem LmLCM: :: NEWTON03:8

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