Though it is a very tiny error (one of declaration), step 6 was done correctly but not given the right reason. It is not the division property the way it is written. It is the multiplication property. That's pretty tiny considering that you could have written it as (5/5)x which would have made it division.
