Zu A und B gehören die linearen Abbildungen f und g.
Wenn A und B den gleichen Rang haben, dann folgt
dim (Bild(f)) = dim( Bild(g)).
Zwei glelchdimensionale Unterräume von ℝn sind isomorph,
Unter dieser Isomorphismus lässt sich zu einem Isomorphismus
i: ℝn → ℝn fortsetzen, dessen Matrix ist S∈GLn(ℝ).
Nun sind aber das f-Urbilder von Bild(f) und
das g-Urbild von Bild(g) gleichdimensionale Unterräume von Rm.
Also gibt es auch hier einen Isomorphismus zwischen den beiden,
der sich zu einem von Rm nach Rm fortsetzen lässt, dessen Matrix T
ist. Dann gilt für alle x∈ℝm A*(T*x)) = B*x
Die Ergebnisse sind in Bild(f)) bzw. Bild(g) und damit gilt
S* A*(T*x)) = B*x
also SAT = B, bzw. mit den Inversen auch s^-1 * B * T^-1 = A.