La proposición anterior nos dota de una herramienta para construir ordinales.