In the division algorithm, the remainder $R(x)$ satisfies:

• adegree of $R(x)$ > degree of $Q(x)$
• bdegree of $R(x)$ = degree of $Q(x)$
• c$R(x) = 0$ or degree of $R(x)$ < degree of $Q(x)$
• d$R(x)$ is always 0