Setning 1: Þetta þýðir að homotopic jafnvægi milli M, W og N er homotopically C-isomorphism. Setning 2: Þetta þýðir að homotópískt jafngildi milli M, W og N er homotópía C-isomorfismans. Spurning: Eru setning 1 og setning 2 sömu merkingar? Já eða nei?
Nei, ekki.