Using as

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

It turns out that this works for some class of representations (but not all). We will explain later what is the condition on , but for now just proceed with the general for as long as we can.