Nigel makes the claim that x=6 is the solution to the equation 4(5x−12)−7x=5x. His work to support his claim follows.

Given: 4(5x−12)−7x=5x
Step 1: 20x−48−7x=5x
Step 2: 20x−7x−48=5x
Step 3: 13x−48=5x
Step 4: 13x−13x−48=5x−13x
Step 5: 0−48=−8x
Step 6: 6=x

Which of the following justifications can be used to justify and support Nigel's work?

Select all justifications that are correct.

Step 4 is justified by the Symmetric Property.
Step 6 is justified by the Associative Property.
Step 5 is justified by the Property of Additive Inverses.
Step 1 is justified by the Distributive Property.
Step 2 is justified by the Commutative Property.

Step 5 and step 3?