Let $U$ be a division algebra over the field $k$, and let $V$ be a sub algebra of dimension $2$. I read (in a recent answer on MathOverflow) that $V$ then necessarily is commutative, that is, $V$ is a field.
Can anyone explain why that is (or from what general theorem this follows) ?