La expresion |a-a| = 0 es cierta siempre, ya que se debe interpretar como la distancia que hay del real "a" a si mismo