Li-Fan Chen
says to
YSITD
我們今天要證這個 A -> B |- (B->C) -> (A->C)