Раздел § 9. Сума кутів трикутника