Setning 1: Þetta þýðir að homótópíkt jafngildi milli M, W og N er homótópía af C-isomorfism. Setning 2: Þetta þýðir að hómótópískt jafngildi milli M, W og N er hómótópía við C-ísomorfismann. Spurning: Eru setning 1 og setning 2 sömu merkingar? Já eða nei?
Já, það er.