Let $(G_1,**)$ be a group. Suppose that $G_{2}sube{G}_1$ such that $G_2$ is non$-$ empty. Let $a,bin{G}_2,$ if $a{b}^{-1}in{G}_2$ then prove $G_2$ is a group under the same operation $**.$