а дальше упрощаем. Если получится верное тождество (правая часть равна левой), то из..... следует...... иначе не следует.