“…Thus, applying these techniques, one obtains the main result in , valid for a generic pair : Theorem Let be a pair of matrices and a d ‐dimensional ( C , A )‐invariant subspace: Assume ; that is to say, rank C 1 = r * = min( d , m ). Then, the following statements hold.…”