convex mirror subgroup of mirror, 5 assertions