Tenés razón, lo que yo probé es que vale para todo natural del 2 al infinito. Pero me falto el uno
Osea, está "bien" el resto de la demostración (no es que se cae a pedazos como si no hubiera probado un caso base), pero me faltó el 1. Casi llego a mi objetivo de parcial perfecto...casi