Non riesco a capire perché questa proposizione è vera: considerate le matrici $A in M_m (RR)$, $B in M_(m,n) (RR)$, $C in M_n (RR)$ si ha:
$rg(AB)=rg(B)=rg(BC)$.
Questa proposizione segue la definizione di matrici equivalenti a destra, a sinistra, e a destra e a sinistra. Quindi magari come ipotesi devo mettere anche che la matrice $B=ABC$; così si spiegherebbe, per la definizione di equivalenza a destra e a sinistra fra matrici, che $B=AB=BC$.
L'ipotesi che $B=ABC$ però non è esplicita, quindi non sono sicuro che la mia interpretazione sia corretta.