[x*y=0,y=√x,(x/√2-y-1/(2*√2))*((1-x)*√2-y)=0]