Etiquetaaxiomas en la demostracion

>