Lemma 16.5. Assuming that:

  • b1b2=b

Then b1(K∗)∈Im⁡(αE) if and only if
w2=b1u4+au2v2+b2v4(∗)

is soluble for u,v,w∈K not all zero.