contestada

When you write a statement such as a=9, what axiom of equality allows you to change it to 9=a?