Не, не так, уже сам наконец-то догадался: добавляем со знаком плюс и минус a^2, получается a^4-a^3-a^2+a^2-a-1. Далее группируем a^2(a^2-a-1)+(a^2-a-1)=(a^2+1)(a^2-a-1). Так будет верно. А у тебя ошибка: тк вынося за скобки a^3 получится: a^3(a-1)-(a+1). Знак во второй скобке поменять забыл.