Si un conjunto no es finito, entonces es infinito.