FM.3.BTAII.4: Rearrange literal equations using the properties of equality