linear algebra - WHY Gauss-Jordan method inverses matrix?

I know that we start with $[A | I]$ matrix and after applying the method it becomes $[I | A^{-1}]$. My question is why this happens? Have we proved it or so? Thanks