Creo que la manera más sencilla de entender este tema es pasar el 2 dividiendo a ambos lados.
Ahí perdés los 2 multiplicando. Pero dividir entre 2 en los otros lados, significa que tomás un conjunto de 2 nodos (sin importar el orden). Entonces cómo tenes varias divisiones por 2, al final multiplica todo por 2 y queda el producto por 2 que te confunde.
Espero que haya aclarado tu duda.
Tuba.