Li-Fan Chen says to YSITD
所以 (A->C) _______________ (B->C) -> (A->C)