Многочлен A делится на многочлен B нацело, если при делении уголком остаток равен нулю: A = B·Q + R. Формулы aⁿ−bⁿ (делится на a−b при любом n) и aⁿ+bⁿ (делится на a+b только при нечётном n) ускоряют проверку делимости и сокращение дробей.