Lause 1: See tähendab, et homotoopiline ekvivalent M, W ja N vahel on C-isomorfismi homotoopia. Lause 2: See tähendab, et homotoopia ekvivalentsus M, W ja N vahel on homotoopiline C-isomorfismile. Küsimus: Kas 1. ja 2. lause tähendus on sama? Jah või ei?
Ei ole.