Setning 1: Þetta þýðir að homótópí-jöfnuður milli M, W og N er homótópískur við C-isomorfismann. Setning 2: Þetta þýðir að homotopic jafnvægi milli M, W og N er homotopically C-isomorphism. Spurning: Eru setning 1 og setning 2 sömu merkingar? Já eða nei?
Já, það er.