Li-Fan Chen
says to
YSITD
不就可以構造出 bijection 了