Нехай кут ДВЕ=х, тоді кут АВЕ=х+34, а кут СВД=х+23. Кут АВС =90 градусів та кут АВС=ДВЕ+АВЕ+СВД. Тоді маємо, що