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