Leibniz, who came a little bit later, this is 1679, showed that you didn't even need subtraction.
Leibniz, quien llegó un poco más tarde, en 1679, demostró que ni siquiera se necesitaba la sustracción.