Endliche Menge/1 bis k/Eins heraus/Fakt
Es sei eine natürliche Zahl mit dem Vorgänger , es sei also . Es sei ein fixiertes Element.
Dann gibt es eine bijektive Abbildung zwischen und .
Es sei
eine natürliche Zahl mit dem Vorgänger
, es sei also
.
Es sei
ein fixiertes Element.
Dann gibt es eine bijektive Abbildung zwischen und
.