Answer:
Step 6 is done by Additive Property of Equality, also known as Compatibility of Equality with Addition, which is defined by the following expression:
,

Explanation:
Step 6 is done by Additive Property of Equality, also known as Compatibility of Equality with Addition, which is defined by the following expression:
,

1)
Associative property/Compatibility with addition
2)
Associative and commutative properties/Definition of subtraction
3)
Existence of the additive inverse/Definition of addition
4)
Modulative property/Result