Раздел § 13. Прямокутний трикутник