Hola
Para probar este lema auxiliar (que te surge a vos) lo que proponés primero está muy bien y podés usar inversion.
La pregunta sería (aunque no es necesario que cambies nada) si este lema auxliar que proponés es necesario.
Saludos, Carlos
Hola
Para probar este lema auxiliar (que te surge a vos) lo que proponés primero está muy bien y podés usar inversion.
La pregunta sería (aunque no es necesario que cambies nada) si este lema auxliar que proponés es necesario.
Saludos, Carlos