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,wK not all zero.