15: You should get

If you used algebra, you should get

Do not forget to specify the set of validity of this procedure.

Answer