Finished Linear Transformations Equivalences Proof