Trijstūra malu garumi ir \(a, b, c\) (\(a>b>c\)); viens no trijstūra leņķiem ir \(60^\circ\) liels. Pierādīt, ka eksistē trijstūris, kura malu garumi ir \(a, b, a-c\) un viens no leņķiem arī ir \(60^\circ\) liels.