Что означает, что одно уравнение является следствием

Был совершен равносильный переход, например привидение подобных 
2x+2+5+3x+x=0 <=> 6x+7=0
тогда второе уравнение - это уравнение-следствие