If we apply one of the three equation operations of Definition EO to a system of linear equations (Definition SLE), then the original system and the transformed system are equivalent.