\|y_0\|\leq \max\{|x1|,|x2|\}