Li-Fan Chen
says to
YSITD
沒辦法的話你就只能用邏輯證了喔(###