Leibniz, who came a little bit later -- this is 1679 -- showed that you didn't even need subtraction.
Leibniz, che arrivò qualche tempo dopo -- siamo nel 1679 -- dimostrò che non era nemmeno necessaria la sottrazione.