De la definición de x resulta que: