Tomando los componentes de formula_10, el lado derecho se convierte en