Y así está claro que, para dos dados "x" e "y", la diferencia entre "x" e "y" es al menos tan grande como la diferencia entre "x" e "y".
La diferencia entre "x" e "y" es al menos tan grande como la diferencia entre "x" e "y".