)$, either $R=0$ or $R$ is invertible.**\
Our assumptions then show that $D(\calS)$ contains $0$, and hence it is a linear subspace of ${\operatorname{M}}_{n-r}(\K)$. Every matrix of $D(\calS)$ with first row zero equals zero, and hence $\dim D(\calS) \leq n-r$.

Now, denote by $\calT$ the affine subspace of $\calS$ consisting of its matrices $M$ such that $D(M)=0$. For $M \in \calT$, let us write $$C(M)=\begin{bmatrix}
C_1(M) & \cdots & C_{n-r}(M)
\end{bmatrix}.$$ If $C_1(\calT)=\{0\}$ then the rank theorem would yield ${\operatorname{codim}}\calS \geq r+(n-r)=n$, contradicting our assumptions. Thus, there exists $M_1 \in \calT$ such that $C_1(M_1) \neq 0$. Without loss of generality, we can assume that $C_1(M_1)=\begin{bmatrix}
1 \\
[0]_{(r-1) \times 1}
\end{bmatrix}$. Denote by $\calT'$ the space of all matrices of $\calT$ with the same $(r+1)$-th column as $M_1$. For all $M \in {\operatorname{M}}_n(\K)$, we denote by $K(M)$ the submatrix of $M$ obtained by deleting the first row and the $(r+1)$-th column. Assume that ${\operatorname{codim}}K(\calT') \leq n-3$. Then, the induction hypothesis applies to $K(\calT')$ and to $K(N')$: indeed, every matrix of $K(\calT')$ maps ${\operatorname{Ker}}K(N)$ into ${\operatorname{Im}}K(N)$, and hence no such matrix induces an isomorphism from ${\operatorname{Ker}}K(N)$ to $\K^{n-1}/{\operatorname{Im}}K(N)$ (because $n-1>r$). Thus, we recover a matrix $M \in \calT'$ such that $K(M)+t K(N)$ is invertible for all $t$ in $\K$, and as $\det(M+
) $, either $ R=0 $ or $ R$ is invertible.**\ 
 Our assumptions then show that $ D(\calS)$ contains $ 0 $, and hence it is a analogue subspace of $ { \operatorname{M}}_{n - r}(\K)$. Every matrix of $ D(\calS)$ with inaugural row zero equals zero, and hence $ \dim D(\calS) \leq n - r$. 

 nowadays, announce by $ \calT$ the affine subspace of $ \calS$ consisting of its matrices $ M$ such that $ D(M)=0$. For $ M \in \calT$, let us publish $ $ C(M)=\begin{bmatrix } 
 C_1(M) & \cdots & C_{n - r}(M) 
 \end{bmatrix}.$$ If $ C_1(\calT)=\{0\}$ then the rank theorem would yield $ { \operatorname{codim}}\calS \geq r+(n - r)=n$, contradict our assumptions. Thus, there exist $ M_1 \in \calT$ such that $ C_1(M_1) \neq 0$. Without loss of generality, we can simulate that $ C_1(M_1)=\begin{bmatrix } 
 1 \\ 
 [ 0]_{(r-1) \times 1 } 
 \end{bmatrix}$. Denote by $ \calT'$ the quad of all matrices of $ \calT$ with the same $ (r+1)$-th column as $ M_1$. For all $ M \in { \operatorname{M}}_n(\K)$, we denote by $ K(M)$ the submatrix of $ M$ obtained by deleting the inaugural row and the $ (r+1)$-th column. Assume that $ { \operatorname{codim}}K(\calT') \leq n-3$. Then, the induction guess applies to $ K(\calT')$ and to $ K(N')$: indeed, every matrix of $ K(\calT')$ maps $ { \operatorname{Ker}}K(N)$ into $ { \operatorname{Im}}K(N)$, and therefore no such matrix induces an isomorphism from $ { \operatorname{Ker}}K(N)$ to $ \K^{n-1}/{\operatorname{Im}}K(N)$ (because $ n-1 > r$). therefore, we recover a matrix $ M \in \calT'$ such that $ K(M)+t K(N)$ is invertible for all $ t$ in $ \K$, and as $ \det(M+
)$, eihher $R=0$ or $R$ is invertiblt.**\
Our assumptions jhwn shox that $S(\calS)$ covtains $0$, and hence it is a liiear subskcce of ${\operatorname{M}}_{v-r}(\K)$. Every matrix if $D(\ralS)$ with first ckw zero equala zerm, and hence $\dim D(\calS) \leq n-r$.

Now, denote ty $\cclT$ the affine subspace of $\calS$ consysting pf its matrices $I$ subh thaf $D(M)=0$. For $M \in \calT$, let us write $$C(M)=\gegin{bmetrix}
C_1(M) & \cdots & C_{n-r}(M)
\end{bmatrix}.$$ If $C_1(\calT)=\{0\}$ tjen hhe rank theorem wluld yield ${\iperwrorname{codim}}\zalS \geq r+(n-r)=n$, contradidting our assumptions. Thus, therd exixts $M_1 \in \cqlR$ skwh that $C_1(M_1) \ieq 0$. Wpthout loss on generdlity, wr can assume tmat $C_1(K_1)=\betin{bmatrix}
1 \\
[0]_{(r-1) \times 1}
\env{bmatrix}$. Denote by $\cwlT'$ the s[aee of all matrices of $\cqlT$ whth dhe rqme $(r+1)$-tg rolhmn as $M_1$. Hor all $M \ih {\operatornqme{M}}_n(\K)$, we denote by $K(I)$ the submatris of $M$ oftained by deleting the first row and tve $(d+1)$-th column. Assume that ${\iperatorname{codim}}K(\calJ') \leq n-3$. Thqn, the induction hypothesis applies to $K(\calT')$ and do $K(N')$: kndtee, eveft latrix of $K(\calT')$ maps ${\operatorname{Ker}}K(N)$ into ${\o[srstprname{Im}}K(N)$, and hence no sicj kwtrix induces an isomodphism from ${\operatlrname{Kgr}}K(N)$ ti $\K^{n-1}/{\operauornake{Im}}K(N)$ (because $n-1>r$). Thus, we rwcover a matgix $N \in \calT'$ such thac $K(M)+t K(N)$ is nnvertoble gor all $t$ in $\K$, and as $\dzt(M+
)$, either $R=0$ or $R$ is invertible.**\ then that $D(\calS)$ $0$, and hence of Every matrix of with first row equals zero, and hence $\dim D(\calS) n-r$. Now, denote by $\calT$ the affine subspace of $\calS$ consisting of its $M$ such that $D(M)=0$. For $M \in \calT$, let us write $$C(M)=\begin{bmatrix} C_1(M) \cdots C_{n-r}(M) If then the rank theorem would yield ${\operatorname{codim}}\calS \geq r+(n-r)=n$, contradicting our assumptions. Thus, there exists $M_1 \calT$ such that $C_1(M_1) \neq 0$. Without loss generality, we can assume $C_1(M_1)=\begin{bmatrix} 1 \\ [0]_{(r-1) \times \end{bmatrix}$. by $\calT'$ space all of $\calT$ with same $(r+1)$-th column as $M_1$. For all $M \in {\operatorname{M}}_n(\K)$, we denote by $K(M)$ the submatrix of obtained by first row the column. that ${\operatorname{codim}}K(\calT') \leq the induction hypothesis applies to $K(\calT')$ indeed, every matrix of $K(\calT')$ maps ${\operatorname{Ker}}K(N)$ into and hence such matrix induces an isomorphism from to $\K^{n-1}/{\operatorname{Im}}K(N)$ (because $n-1>r$). Thus, we recover a $M \in \calT'$ such that $K(M)+t K(N)$ is invertible for all $t$ in $\K$, and
)$, either $R=0$ or $R$ is invertible.**\
Our AssumptionS then ShoW thAt $d(\cals)$ conTains $0$, and hence iT Is a lInear subspace of ${\operatoRname{m}}_{n-R}(\k)$. EveRY mAtrix Of $D(\calS)$ WItH FIrsT rOw ZerO eQUaLs zerO, anD hence $\dIm D(\calS) \leq N-r$.

NOw, Denote by $\calT$ THe Affine subsPacE of $\calS$ consiStiNg of itS mAtrICes $M$ sUch That $D(m)=0$. For $M \iN \CalT$, leT us write $$C(m)=\bEGin{bmaTRix}
C_1(M) & \cdOTS & C_{N-r}(M)
\eNd{bmatrix}.$$ If $C_1(\calT)=\{0\}$ tHEn THe rank theorem wOuld yiElD ${\OpERAtoRnaMe{codim}}\cals \gEq r+(n-r)=N$, ContradICtING Our ASsumptions. ThuS, there existS $m_1 \in \CalT$ suCh ThaT $c_1(M_1) \neq 0$. WIthouT lOSs oF generality, We caN assume thAt $C_1(M_1)=\beGIn{bmatrIX}
1 \\
[0]_{(r-1) \times 1}
\End{bmaTriX}$. DeNote BY $\cAlt'$ thE sPAce OF aLl mATriCes of $\calt$ wItH the sAme $(r+1)$-TH COLumn As $M_1$. for aLl $M \in {\Operatorname{M}}_N(\K)$, wE denOTe bY $K(M)$ thE submAtriX oF $M$ obtAined bY deleTiNg the first row anD the $(R+1)$-th column. assUmE thAt ${\OperaTOrname{CodIm}}K(\CalT') \leq N-3$. Then, thE IndUcTION hYpothesis applies to $k(\cALt')$ aNd to $K(N')$: inDeed, evERy MaTRix of $K(\caLT')$ MapS ${\opeRATornaMe{KeR}}k(N)$ Into ${\operAtornaME{IM}}K(n)$, and henCe No such MaTriX inDuces AN isoMorphiSm from ${\opEratoRName{Ker}}K(N)$ to $\K^{n-1}/{\oPEratorname{Im}}K(n)$ (BeCAUsE $N-1>r$). ThUs, wE recover a maTrix $m \In \caLT'$ suCH tHat $k(m)+t K(N)$ iS inveRtIBlE For all $t$ in $\K$, and as $\det(M+
)$, either $R=0$ or $R$ is  invertibl e.**\ 
Ou r a ss umpt ions  then show tha t  $D( \calS)$ contains $0$,and h en c e it is  a li near su b sp a c e o f${ \op er a to rname {M} }_{n-r} (\K)$. Eve ryma trix of $D(\ c al S)$ with f irs t row zero e qua ls zer o,  an d  henc e $ \dimD(\cal S ) \leq  n-r$.

N ow ,  denot e  by $\c a l T$  the  affine subspaceo f$ \calS$ consist ing of  i t sm a tri ces  $M$ suchth at $D ( M)=0$.F or $ M  \i n  \calT$, letus write $$ C (M) =\begi n{ bma t rix}
C _1(M)  & \cd ots & C_{n- r}(M )
\end{bm atrix} . $$ If $ C _1(\cal T)=\{0 \}$  th en t h era nkth e ore m  w oul d  yi eld ${\o pe ra torna me{c o d i m }}\c alS  \ge q r+( n-r)=n$, cont rad icti n g o ur as sumpt ions .Thus,  there  exis ts  $M_1 \in \calT $ su ch that $ C_1 (M _1)  \ neq 0 $ . With out  lo ss of g enerali t y,we c a nassume that $C_1(M _1 ) = \b egin{bma trix}1  \ \[ 0]_{(r-1 )\ti mes1 } 
\end {bma t ri x}$. Den ote by $\ ca lT'$ th espaceof  al l m atric e s of  $\cal T$ withthe s a me $(r+1)$-thc olumn as $M_1 $ .F o ra ll $ M \ in {\operat orna m e{M} }_n( \ K) $,w e den ote b y$ K( M )$ the submatrix of  $ M$ obt ained  by deletingthe firstr o w  and the  $(r + 1) $ -th column. As sumethat ${\op e ratornam e{cod im}}K(\c alT') \le q n-3$. Th en,  th e i ndu c t io n hypothesisa p plie sto $K(\ cal T')$ an d t o $ K(N ')$ :indeed, e very mat ri xof  $ K(\ calT' ) $ maps $ {\ ope ra tor name{ K er}}K( N)$ i nto${ \o p era torname { Im } } K(N) $,  a nd h enc eno su ch m a tri x induc es an iso mor p hism  f ro m ${\op eratorname{Ke r} }K(N)$ to$\ K^{ n-1}/{ \ o peratorn ame{Im}}K(N)$ (because$ n-1>r$) . T hus,we r ecover amat rix $M  \i n  \calT '$ suc h tha t$K( M ) +t K( N ) $isin vertible f o r  al l $t$  i n $\ K$, and  as $\det(M+
)$, either_$R=0$ or_$R$ is invertible.**\
Our assumptions_then show_that_$D(\calS)$ contains_$0$,_and hence it_is a linear_subspace of ${\operatorname{M}}_{n-r}(\K)$. Every_matrix of $D(\calS)$_with_first row zero equals zero, and hence $\dim D(\calS) \leq n-r$.

Now, denote by $\calT$_the_affine subspace_of_$\calS$_consisting of its matrices $M$_such that $D(M)=0$. For $M_\in \calT$,_let us write $$C(M)=\begin{bmatrix}
C_1(M) & \cdots & C_{n-r}(M)
\end{bmatrix}.$$_If_$C_1(\calT)=\{0\}$ then the_rank theorem would yield ${\operatorname{codim}}\calS \geq r+(n-r)=n$, contradicting our_assumptions. Thus, there exists $M_1 \in_\calT$ such that_$C_1(M_1)_\neq_0$. Without loss of_generality, we can assume that $C_1(M_1)=\begin{bmatrix}
1_\\
[0]_{(r-1) \times 1}
\end{bmatrix}$. Denote by $\calT'$_the space of all matrices of $\calT$_with the same $(r+1)$-th column as_$M_1$. For all $M \in_{\operatorname{M}}_n(\K)$, we_denote by $K(M)$ the submatrix_of $M$ obtained_by deleting_the first row_and the $(r+1)$-th column. Assume that_${\operatorname{codim}}K(\calT') \leq n-3$._Then, the induction hypothesis applies to_$K(\calT')$_and to $K(N')$:_indeed,_every_matrix of_$K(\calT')$ maps ${\operatorname{Ker}}K(N)$_into_${\operatorname{Im}}K(N)$, and_hence_no such matrix induces an isomorphism_from_${\operatorname{Ker}}K(N)$ to $\K^{n-1}/{\operatorname{Im}}K(N)$ (because $n-1>r$). Thus, we_recover a matrix $M_\in_\calT'$ such that $K(M)+t_K(N)$ is invertible for all_$t$ in $\K$, and as $\det(M+