proved equation

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