Li-Fan Chen
says to
YSITD
函數兩邊必須等勢才能構造 bijection