там через правило Крамера надо выводить.
Тупым перемножением гораздо проще -- там мгновенно единичная матрица выскакивает. Крамер же всё-таки немножко от этого далековат (помимо всего прочего, надо ещё увидеть связь между обратной матрицей и системами).