Доказать, что многочлен a2+y2+4a+2y+5 не принимает отрицательные значения

A²+y²+4a+2y+5=
=(a²+4a+4)+(y²+2y+1)=
=(a+2)² + (y+1)² gt;0 , так как  (а+2)² gt; 0 и (у+1)²gt;0 , следовательно и их сумма  gt; 0  (док-но)