AB = C \Leftrightarrow B^tA^t = C^t \Leftrightarrow (E_k \ldots E_2E_1B^t)A^t = E_k \ldots E_2E_1C^t