Leibniz, who came a little bit later -- this is 1679 -- showed that you didn't even need subtraction.
Leibniz bewies etwas später, und zwar 1679, dass die Subtraktion eigentlich gar nicht vonnöten war.