Misalkan \(X\) kompak lokal Hausdorff dan \(Y\) ruang topologi. Buktikan bahwa fungsi kontinu \(H:[0,1]\times X\to Y\) menentukan lintasan kontinu \(\widehat H:[0,1]\to C_k(X,Y)\) melalui \(\widehat H(t)(x)=H(t,x)\text{,}\) dan sebaliknya. Identifikasi secara eksplisit tempat evaluasi dan hukum eksponensial digunakan.