Eliminate highest-degree terms.
とする。D=ab2+b+7 D=ab^2+b+7D=ab2+b+7 およびE=a2b+a+b E=a^2b+a+b E=a2b+a+b 翻訳:. Since aD−bE=7a−b2 aD-bE=7a-b^2aD−bE=7a−b2 翻訳:, we have D∣7a−b2 D\mid 7a-b^2D∣7a−b2.