1 sakinys: tai reiškia, kad M, W ir N homotopinė ekvivalencija yra homotopinė C izomorfizmui. 2 sakinys: Tai reiškia, kad homotopinis M, W ir N ekvivalentas yra C-izomorfizmas. Klausimas: Ar 1 ir 2 sakiniai reiškia tą pačią reikšmę? Taip ar ne?
Taip