Доказать равносильность формул