An elementary proof of the Artin--Springer theorem for generalized quadratic forms over quaternion algebras

We give a short and simple proof that an anisotropic generalized quadratic form over a quaternion division algebra with involution of the first kind, in arbitrary characteristic, remains anisotropic after scalar extension to any odd-degree field extension.