Two different proofs are given showing that a quaternion algebra Q defined over a quadratic ́etale extension K of a given field has a corestriction that is not a division algebra if and only if Q contains a quadratic algebra that is linearly disjoint from K. This is known in the case of a quadratic field extension in characteristic different from two. In the case where K is split, the statement recovers a well-known result on biquaternion algebras due to Albert and Draxl.
Becher, K. J., Grenier-Boley, N., & Tignol, J.-P. (2018). Transfer of quadratic forms and of quaternion algebras over quadratic field extensions. Archiv der Mathematik, 111(2), 135-143. https://doi.org/10.1007/s00013-018-1198-5 (Original work published 2018)