Answer:
both substitutions
Step-by-step explanation:
in 5. based on 3 BC is substituted by its equal counterpart AB.
and in 6. we use 1. to substitute AC by its associated absolute value.