Leibniz, who came a little bit later -- this is 1679 -- showed that you didn't even need subtraction.
Лайбиц (Leibniz), който дошъл малко по-късно - през 1679 година показал че дори няма нужда от изваждане.