para todo "x" e "y" en "C".