Докажем, что пяти достаточно.
Пусть 
два многочлена четвертой степени, которые совпадают в пяти точках. Тогда 
является многочленом, имеющим пять корней. Но степень многочлена
Четырех может быть недостаточно: Всего у многочлена четвертой степени пять коэффициентов, значит, пять неизвестных. Четыре уравнения не всегда дают единственное решение.
Можно доказать и более общий результат:
Если — многочлены, степени 
, то 
— минимальное количество точек, в которых достаточно проверить совпадение многочленов, чтобы доказать их тождественное равенство.
База: для 
все очевидно: по аксиоме требуется две точки для однозначного определения прямой.
Переход: пусть для 
верно. Докажем истинность для 
. Для этого предположим обратное: достаточно 
точек. Возьмем различные многочлены 
степени
900:20*19=855 средних монет
2000-900-855=245 малых монет