Tahap 1. Jika \(r:X\to A\) retraksi dan \(i:A\hookrightarrow X\text{,}\) bentuk \(F=i\circ r:X\to X\text{.}\)

Tahap 2. Tunjukkan bahwa \(A=\{x\in X:F(x)=x\}\text{.}\)

Tahap 3. Dalam ruang Hausdorff, diagonal di \(X\times X\) tertutup.