subtraction/algebraic subtraction
What you have looks right, the reason for step 7 should just be algebraic subtraction since there is a DG on both sides that can be simplified out of the equation
I’m not sure what exact answer your question will allow, but it’ll be something along the lines of subtraction