deg("r")&lt;deg("d")は、多項式 "r"("x")の次数が "d"("x")の次数より小さいことを表している(一意性のための条件)。