MDLD/Euclidean division (polynomial)

Start=Euclidean division (polynomial) Target=Polynomial ring/Field/One variable/Euclidean division/Fact