Ukara 1: Iki tegese ekuivalen homotopi antarane M, W, lan N yaiku homotopik kanggo C-isomorfisme. Ukara 2: Iki tegese ekuivalensi homotopik antarane M, W lan N kanthi homotopik minangka C-isomorfisme. Pitakonan: Apa ukara 1 lan ukara 2 padha tegesé? Ya utawa Ora?
Ya, iya