Para probar que $EU-I_n $ es una matriz no singular, dado que $E^2=I_n$ entonces $EU-I_n=U-E.$
Supongamos \begin{equation*} U= \begin{pmatrix} a_{11} & a_{12} \cdots & a_{1n} \\ a_{21} & a_{22} \cdots & a_{2n} \\ \vdots\\ a_{n1} & a_{n2} \cdots & a_{nn} \\ \end{pmatrix} \end{equation*} y $E=diag(\sigma_1, \sigma_2 \dots \sigma_n)$ entonces
\begin{equation*} U_{k+1}-E_{k+1}= \begin{pmatrix} a_{11}-\sigma_1 & a_{12} \cdots & a_{1k} & a_{1,k+1}\\ a_{21} & a_{22}-\sigma_2 \cdots & a_{2k} & a_{2,k+1}\\ \vdots\\ a_{k1} & a_{k2} \cdots & a_{k,k}-\sigma_k & a_{k,k+1} \\ a_{k+1,1} & a_{k+2,2} \cdots & a_{k+1,k} & a_{k+1,k+1}-\sigma_{k+1} \\ \end{pmatrix}_{k+1,k+1} \end{equation*} Ahora usando inducción matemática (PMI) y el complemento de Schur https://es.wikipedia.org/wiki/Complemento_de_Schur
https://es.wikipedia.org/wiki/Inducci%C3%B3n_matem%C3%A1tica
Al aplicar PMI en la matriz $U-E$ obtenemos, obviamente para $n=1$ es verdadero, y supongamos para $n=k$ que es
det$(U_k-E_k)\ne 0$
entonces para $n=k+1,$ $det(U_{k+1}-E_{k+1})=det(a_{k+1,k+1}-\sigma_{k+1}).det((a_{k+1,k+1}-\sigma_{k+1})-Y(U_k-E_k)^{-1}X)$ donde $X=[a_{1,k+1},a_{2,k+1} \dots a_{k,k+1}]$ y $Y=[a_{k+1,1},a_{k+2,2} \dots a_{k+1,k}]$ claramente $det(a_{k+1,k+1}-\sigma_{k+1})\ne 0,$
Reclamación: $det((a_{k+1,k+1}-\sigma_{k+1})-Y(U_k-E_k)^{-1}X)\ne 0----(i)$
Sea $Y(U_k-E_k)^{-1}X= Z$ entonces (i) se convierte en $det(a_{k+1,k+1}-Z-\sigma_{k+1}) \ne 0$
Caso 1: si $a_{k+1,k+1}-Z =1 $ entonces se toma $\sigma_{k+1}=-1$ para que det$(U_{k+1}-E_{k+1}) \ne 0$
Caso 2: si $a_{k+1,k+1}-Z =-1 $ entonces se toma $\sigma_{k+1}=1$ para que det$(U_{k+1}-E_{k+1} )\ne 0$
Entonces es verdadero para $n=k+1$, por lo tanto, utilizando el principio de inducción matemática det$(U_n-E_n)\ne 0$ Por lo tanto, $EU-I_n $ es una matriz no singular.