Cualquiera de los dos caminos es correcto. La sugerencia del compañero es correcta.
Para la primera opción:
En general más que llegar a un absurdo, se trabaja con el 2.4.5 y demás como si funcionara, y cuando la fórmula queda expresada en el metalenguaje se da un contra ejemplo.
Saludos