$G_1$ is a $p$-Group