added cyclic rank 1 proof
adding dihedral group