Si el primer dos es la raíz, entonces no existe ninguna rama del lado izquierdo, en ese caso la siguiente raíz de acuerdo con el recorrido en postorden es formula_6 y de acuerdo con preorden es formula_7, lo cual es una incongruencia, de esa forma sabemos que el otro formula_4 es la raíz.