Ich sehe es etwas anders als Isomorph. Wenn man mal die ganzen Minuse (also Plural von minus) umschreibt in *(-1), dann steht da
-(-ab3)^-3 = -1 * (-1*a*b3)-3
Dann wird daraus
-1 * (-1-3*a-3*b-9)
So und jetzt das Assoziativgesetz beachten a*(b*c) ist a*b*c und nicht a*b*a*c, also
-1*-1*a-3*b-9
Das ergibt
a-3*b-9
wie in der Lösung