Сума кутiв трикутника, прямокутний трикутник