Параленьні прямі. Сума кутів трикутника.