Li-Fan Chen
says to
YSITD
5. 要怎麼用前四個條件證明