Сума внутрішніх кутів трикутника (п.17).