Li-Fan Chen
says to
YSITD
這規則告訴我們 A -> B 跟 A 成立時，B 成立 所以要證 B 的話，我們可以改證 A->B 跟 A