Li-Fan Chen
says to
YSITD
在我們假設 B->C 是對的情況下，我們可以證 A->C