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