plane mirror subgroup of mirror, 1 assertions