Como el caso base es verdadero, el infinito de los otros casos debe también serlo, incluso si todos ellos no pueden ser probados directamente dada su infinitud.