provable equation

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