Так у Вас рассуждения совершенно в том же духе, что и то, которое привел AD. По ссылке просто перечень эквивалентностей, но ни слова о том, когда их можно применять. Как показывает пример AD, применять их можно далеко не всегда.
Все формулы эквивалентностей, которые я списал в институте, справа и слева знака

имели функцию. Но в примере, приведенном
AD,

слева константа

. Является ли

при

формулой эквивалентности ?