Proof (a) This is clear for Type 3 operations, which just rearrange the vectors. For Types 1 and 2, we have to show that such an operation cannot take a linearly independent set to a linearly dependent set; the vice versa statement holds because the inverse of an elementary operation is another operation of the same kind.