Li-Fan Chen says to YSITD
接著我們證 A->C