igualdad obs de gremios y axiomas simples