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.