https://www.u-cursos.cl/ingenieria/2017/1/MA1101/5/material_docente/o/1703339
Auxiliar 2 - Cuantificadores y principio de inducción.pdf