Li-Fan Chen
says to
YSITD
用剛剛那條規則 改證 A -> B 跟 A