Li-Fan Chen
says to
YSITD
假設a不為0的時候b就存在好了