Besonderhede van voorbeeld: -8596020444319049601

English

Distinct natural numbers have distinct successors: if a ≠ b, then Sa ≠ Sb.

French

Des entiers naturels distincts ont des successeurs distincts: si a ≠ b, alors Sa ≠ Sb.