Lema: Un subárbol enraizado al nodo "v" tiene al menos formula_3 nodos internos.