Ejercicio 3: tipado
Ejercicio 2: evaluado
Ejercicio 3: evaluado
Ejercicio 1 y renombre de algunos axiomas
Formato portrait