Descartes' theorem on total angular defect