Li-Fan Chen says to YSITD
同時假設 A 是對的