Bézout, who did not have at his disposal modern algebraic notation for equations in several variables, gave a proof based on manipulations with cumbersome algebraic expressions.
Безу, который не имел в своём распоряжении современных алгебраических обозначений уравнений от нескольких переменных, дал доказательство, основанное на манипуляциях с громоздкими алгебраическими выражениями.