Betrachte die zu den Matrizen gehörenden Endomorphismen von R^n nach R^n.
Wegen det(B)=0 ist Bild(B) eine echte Teilmenge von R^n, also dim(Bild(g)) < n
Und fog (R^n) = f ( g(R^n)) ) = f( Bild(g) ) .
Und wegen rang f = n ist f bijektiv, also hat f( Bild(g) ) die
gleiche Dimension wie Bild(g) und die ist kleiner als n.
Also rang(A*B) < n.