Li-Fan Chen says to YSITD
沒有阿 7<k 表示k不會等於7