используя неравенство доказать его методом выделения полного квадрата

Пусть а^2=t, тогда a^4-8a+17=t^2-8t+17=(t^2-2*t*4+16)+1
в скобках полный квадрат (t-4)^2+1=(a^2-4)^2+1 > 0 при всех значениях а