Expii

# Angular Defect, and Descartes' Theorem - Expii

Define "defect" (specifically, angular defect of a vertex of a convex polyhedron) and prove Descartes's result that the sum of the defects at the vertices of a convex polyhedron is 4 times pi. (This is a special case of the famous Gauss-Bonnet theorem.).