New to Sophia?
To set up an equation and justify each step, using the properties of equality/congruence.