Homeomorfisme yang dapat dipakai adalah \(F_a(x)=a+e^x\) menuju \((a,\infty)\) dan \(G_b(x)=b-e^x\) menuju \((-\infty,b)\text{.}\)