Todos los valores de los nodos del subárbol derecho de A deben ser mayores o iguales al valor del nodo A.