Using as

We just introduced , and now the idea is to try to substitute into our covariant ansatz (3).