2 ms·It's a bit confusing to see a proof not even mentioning successor and relationship to addition.by im3w1l 6y agoIt's a bit confusing to see a proof not even mentioning successor and relationship to addition.