Given that holds, by theorem , there exists a scalar field such that . Hence holds.
We have already proved this in theorem
Back