Li-Fan Chen says to YSITD
那你就用有理數的封閉性去證剛剛那題阿