[

]
só agora percebi a tua dúvida!
supõe que queres resolver algo como
2x+3=4x-1
"passas" o 4x para o lado esquerdo com um menos. de facto, o que estás a fazer é:
dada uma equação, se somares (ou substraires, que vai dar ao mesmo) ambos os lados pela mesma quantidade, obtens uma equação equivalente (daí usar o símbolo <=>), ie, com as mesmas soluções (repara que o que queres no fim são soluções). pronto, este é o teorema que procuravas. aplicando o teorema:
somas ambos os lados por -4x
do lado esquerdo, obtens -4x+2x+3=-4x+4x-1
simplificando, do lado esquerdo ficas com -2x+3 e do lado direito -1
aplicas de novo o teorema, somando ambos os lados por -3
obtens a equação -2x=-4 equivalente à anterior.
teorema 2: se multiplicares (ou dividires) ambos oslados etcetc quantidade não nula, obtens etcectetc.
multiplica ambos os lados de -2x=-4 por -1/2
ora (-1/2)*(-2x)=x e (-1/2)*(-4)=2. ou seja, x=2
acho bem e interessante quereres saber porque se fazem certos tipos de mecanizações.
não estou a desvalorizar as mecanizações: são essenciais em ciências! mas é interessante saber porque se podem fazer.