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

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

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

. Является ли 

 при 

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