Determinante/Obere Dreiecksmatrix/Fakt/Beweis