If $H_{3}$ is subgroup of $G$ that satisfies $H_3 \subseteq H_1 \cup H_2$ and $H_3 \not\subset H_2$, then $H_3 \subseteq H_1$.
If a group is the union of two subgroups, is one subgroup the group itself?