Zum 1. Teil:
Seien En,Em die n×n- bzw. m×m-Einheitsmatrizen.
Dann gilt(A0BD)=(En0BD)⋅(A00Em)
Wir betrachtendet((En0BD)),B=(bij)
Diese Determinante ändert sich nicht, wenn man ein Vielfaches einer Spalte
zu einer anderen Spalte addiert. Subtrahiert man das bi,j-fache der j-
ten Spalte ej von der (n+j)-ten Spalte der Matrix, entsteht an der Stelle
(i,n+j) eine 0. Auf diese Weise kann man sämtliche Elemente des B-
Blockes durch "Scherungsoperationen" zu 0 machen.det((En0BD))=det((En00D))=det(D)...