Li-Fan Chen
says to
YSITD
假設 @james58899 的命題成立