Li-Fan Chen
says to
YSITD
A->B 是最一開始給的定理