A unit lower triangular (ult) matrix $A$ is a matrix whose entries are $a_{ij}=0$ for $j>i$, and $a_{ii}=1$.
I am trying to prove that the inverse of a ult matrix is another ult matrix. (There are different proofs here). I have already proved that the product of ult matrices is also a ult matrix. So I want to use this property by defining $A^{-1}=E_n...E_2E_1I$, where $E_k$ are elementary matrices that correspond to the row operations of the transformation $[A|I] \rightarrow [I|A^{-1}]$. If we can show that $E_k$ are all ult elementary matrices, then the proof is complete. Therefore, the question is:
Considering a ult matrix A, can we transform $[A|I]$ into $[I|A^{-1}]$ only using row operations that correspond to ult elementary matrices?