Основной свойство дроби: если числитель и знаменатель рациональной дроби умножить на один и тот же ненулевой многочлен, то получится равная ей дробь.
Доказательство:
Рассмотрим дробь

, где a и b − многочлены, b ≠ 0.
Пусть ее значение , тогда a = bm.
Умножим обе части этого равенства на многочлен c ≠ 0.
Получаем:
ac = bmc = (bc)m, где bc ≠ 0.
Тогда:

, что и требовалось доказать.