MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 1 [made Community Wiki]

If $D$ is an at most countably dimensional division algebra over $\mathbb{C}$ then $D=\mathbb{C}.$

Proof Let $x\in D\setminus\mathbb{C},$ then $\{(x-a)^{-1}, a\in\mathbb{C}\}$ is an uncountable linearly independent set. $\square$

This is an algebraic variant of the Gelfand–Mazur theorem and it implies countably-dimensional Schur's Lemma over $\mathbb{C}$ (or any uncountable field).