Intersection of Division Subrings is Division Subring

Theorem
Let $\struct {D, +, \circ}$ be a division ring.

Let $\mathbb K$ be a non-empty set of division subrings of $D$.

Then the intersection $\ds \bigcap \mathbb K$ of the members of $\mathbb K$ is itself a division subring of $D$.

Proof
Let $\ds L = \bigcap \mathbb K$.

Let $0$ be the zero of $\struct {D, +, \circ}$.

By Intersection of Subgroups is Subgroup: General Result, $\struct {L, +}$ is a subgroup of $\struct {D, +}$.

By the One-Step Subgroup Test:
 * $\forall x, y \in L: x + \paren {-y} \in L$

By Non-Zero Elements of Division Ring form Group:
 * $\struct {D \setminus \set 0, \circ}$ is a group
 * $\struct {K \setminus \set 0, \circ}$ is a group for each $K \in \mathbb K$

By Set Difference over Subset, $\struct {K \setminus \set 0, \circ}$ is a subgroup of $\struct {D \setminus \set 0, \circ}$ for each $K \in \mathbb K$.

By Set Difference is Right Distributive over Set Intersection:
 * $\ds L \setminus \set 0 = \bigcap_{K \mathop \in \mathbb K} \paren {K \setminus \set 0}$

By Intersection of Subgroups is Subgroup: General Result, $\struct {L \setminus \set 0, \circ}$ is a subgroup of $\struct {D \setminus \set 0, \circ}$.

By the Two-Step Subgroup Test and Ring Product with Zero:

By the Division Subring Test it follows that $\struct {L, +, \circ}$ is a division subring of $\struct {D, +, \circ}$.