Prueba: Por definición, existe una biyección entre un conjunto finito no vacío, , y el conjunto {1, 2, ..., } para cualquier número natural positivo .