Let Suppose is obtained from by row operation

  1. Scale a row. if then
  2. Exchange a row then
  3. Add a row then

Proofs

Proving Scalability

by multilinearity

Proving Exchangability

by Alternating

Proving Additivity