x1 > y1 && x2=x1 && y2 = y1 && x3=x2+y2 && y3 = y2 && x4=y4 && y4=x4-y4 && x5=x4-y4 && y5=y4 && x5-y5>0