Li-Fan Chen
says to
YSITD
為什麼我覺得好像能用相同證法證明 N 跟 N 不等勢