MD1-2S: Demostración producto números primos con principio de buen orden

Hola Fernando,

Es perfectamente clara para mi tu pregunta. El PBO afirma que el conjunto

$A$ tiene mínimo. Luego, si

$m$ es el mínimo de

$A$ , los números menores que

$m$ no pertenecen a

$A$ , es decir, ellos sí son producto de primos. Por eso se puede afirmar que

$p$ y

$q$ son producto de primos, porque no están en el conjunto

$A$ , que es el conjunto de los que no son producto de primos.

Saludos cordiales,

Mauricio.

Teórico de inducción completa