convex lens subgroup of lens, 7 assertions