Gegeben seien Elemente a, b und c eines faktoriellen Rings R
Man zeige: kgV(ggT(a, b), c) = ggT(kgV (a, c), kgV (b, c)).