開区間 (0,1) 上の可算で稠密な点集合 A,B を任意にとる。
この時、全単射なC^∞級関数 f:(0,1)→(0,1) であって f(A)=B を満たすものが存在することを示せ。