[Caylio]

Having equality signs at each step does not mean you can reverse the steps. You need bidirectional implication for that.