けんき
says to
YSITD
你是說既然B->C對了,我們只需要證A->C