deduced equation

Лог. выведенное равенство