Li-Fan Chen says to YSITD
從任意有限位數到特定位數的function不可能有反函數啊