Li-Fan Chen
says to
YSITD
B->C 是剛剛假設 所以這邊結束