spherical mirror subgroup of mirror, 2 assertions