"Replacement by an equal expression" is a procedure that is used a lot.
( like you replaced the "A" by "G-kV" )
"Multiplication, Distributive" ( Phoenix line 1 ) and
its inverse , "Factoring" (Phoenix line 5) are the basis of proportion.
When you add the negative of some term to both sides
(so that term cancels the original term on that side)
and/or divide both sides by the same factor
(so as to "move the factor to the other side")
... there's always more than one path that you can take
notice how Phoenix "undid" in line 4 , what he had done in line 2 ...
it is okay to take more steps, so long as you keep the goal in mind.