gaussian curvature subgroup of curvature, 1 assertions