Раздел §3. Паралельні прямі. Сума кутів трикутника. 17. Прямокутний трикутник