Kasus satu faktor jelas; langkah induksi adalah penerapan teorema produk dua ruang terhubung.