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.