Li-Fan Chen
says to
YSITD
假設我們的 φ 是這樣