MDLD/common divisor (polynomial ring 1)

Start=common divisor (polynomial ring 1) Target=Polynomial ring/K/Common divisor/Definition