R0BTW3

Written on June 24, 2019
\[ I_n = \left(
 \begin{array}{c|ccc}
 1     &0& \cdots & 0 \\
 \hline
 0     & &        &   \\
 \vdots& & I_{n-1}&   \\
 0     & &        &
 \end{array}
 \right)
\]