1-varyant super kengaytma funktori

Natija: lar ning nuqtasidagi ekvivalent yo‘llar bo‘lsin. Agar va tiklanmalari bo‘lib, bo‘lsa, u holda bo‘ladi.

Isbot: va orasidagi ga nisbatan F gomotopiya bo‘lsin.

F bir qiymatli gacha tiklanmaga ega bo‘lib, va bo‘lgani uchun va vaholanki, ( dan gacha bo‘lgan yo‘l , . Bundan o‘zgarmas (doimiy) yo‘l va . Bundan ko‘rinadiki, yo‘l va lar orasidagi ga nisbatan gomotopiyadir.