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