concave mirror subgroup of mirror, 4 assertions