Misalkan \((X,\tau_X)\text{,}\) \((Y,\tau_Y)\text{,}\) dan \((Z,\tau_Z)\) merupakan ruang topologi. Misalkan \(f:(X,\tau_X)\to(Y,\tau_Y)\) suatu homeomorfisme dan \(k:(Z,\tau_Z)\to(X,\tau_X)\) suatu fungsi. Buktikan bahwa \(k\) kontinu jika dan hanya jika \(f\circ k\) kontinu.