%%%%%
% DEPENDENCIES 
% None. 
%%%%%
\begin{theorem}
If $G$ is a group, then the intersection of any collection of subgroups of $G$ is also subgroup.
\end{theorem}