para todo "x" y "y" en "g".