Li-Fan Chen says to YSITD
你只是構造了一個 (不知道什麼集合) 到 {1..9} 的 bijection 啊