The Gauss-Bonnet Theorem (and the Surface of Revolution Curvature Theorem) says the total curvature for the lens is equal to 4.

Please remove spaces between words.
TheGauss-BonnetTheorem(andtheSurfaceofRevolutionCurvatureTheorem)saysthetotalcurvatureforthelensisequalto4.