Общего красивого не смог увидеть, но, с каждой операцией в отдельности расправиться можно ("пусть

" - и дальше смотреть кто из них кто должен получиться, и где возникает противоречие). Вот самый близкий вариант ("почти-решение") для попарного умножения, для примера:
