HSA.CED.A.4: Rearrange literal equations using the properties of equality