Untuk \(n=1\) pernyataan adalah hipotesis. Andaikan \(P_{n-1}=\prod_{i=1}^{n-1}X_i\) terhubung. Karena \(X_n\) terhubung, teorema dua faktor memberi \(P_{n-1}\times X_n\) terhubung. Homeomorfisme asosiatif kanonis mengidentifikasikannya dengan \(\prod_{i=1}^n X_i\text{.}\) Rubrik: dasar, hipotesis induksi, langkah dua faktor, dan identifikasi asosiatif harus muncul.