Dicho de otra manera, para todo "a y b," existen un "x" y un "y" tales que: