20071223 unknown: What is a dihedral group?