Intersection of Real Intervals is Real Interval

Theorem
Let $I_1$ and $I_2$ be real intervals.

Then $I_1 \cap I_2$ is also a real interval.