Сума гострих кутів прямокутного трикутника.