Notemos que las equivalencias fueron hechas en cada lema con la propiedad de