Descartes'_theorem_on_total_angular_defect loading ...