If $G$ is a group, then the intersection of any collection of subgroups of $G$ is also subgroup.

• None.

theorem.intersection_of_subgroups_is_a_subgroup.tex

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

• Give links to external sources.

theorem needsreview rjosh