Зовнішній кут трикутника, сума кутів трикутника