Du kannst keine Substitution verwenden, weil der Exponent ungerade ist also 3, deshalb musst du entweder Horn-Schema oder ausklammern.
Substitution kannst du erst verwenden, wenn der Exponent gerade ist zum Beispiel hoch 4.