{ 3 * a + b = 20;

a − b = 0; 

{ 3 * a + b = 20;

a  = b;  

{ 3 * a + a = 20;

a  = b;  

Известные значения перенесем на одну сторону, а неизвестные значения на противоположную сторону. При переносе значений, их знаки меняются на противоположный знак. То есть получаем:  

{ a * (3 + 1) = 20;

a  = b;   

{ a * 4 = 20; 

a = b; 

{ a = 20/4;

a = b; 

{ a = 5; 

a = b; 

{ a = 5; 

b = a = 5;