
Можете решение подставить в исходное ДУ, если получится тождество, то все ок.
Ну на память всех заданий не упомнишь.
С подстановкой сложновато

Вот само решение: (мелко написано, но можно увеличить

http://i024.radikal.ru/1005/f6/bd8afb7d6c38.jpg
http://i015.radikal.ru/1005/17/aebaedad07e7.jpg