oktw says to #ysitd
<petjelinux>: 在推論出y>=0那一邊