Li-Fan Chen
says to
YSITD
這規則告訴我們 我們可以在 A->B 上面寫一個 B (改成證明 B)，同時我們可以架設 A 是對的