solve h=[x^2-[4*x-1+4*x-1-3*(y-2)]*(y-1)/2] , k=(x+1)*(2*(x-y+1)+1)+(x-y)*(x-y+1) , 70+h=2*23+k , k-2*h=(x+1)^2+2*[x^2-(x-y+1)^2] ,k>0 ,y>0,x>0 ,y