Лемманы иҫбатлау өсөн шундай ретракция  бар тип фараз ителә. Сфераны шар эсенә һалыу өсөн  шундай үҙсәнлек үтәлә: сағылыштар ҡабатландығы  — сфераның тождестволы сағылышы (башта , аҙаҡ ). Артабан  икәне күрһәтелә, ә . Ул саҡта  сағылышы 0-гә сағылыш була, ләкин, икенсе яҡтан,  булғанлыҡтан,  — нуль гомоморфизм түгел, ә тождестволы изоморфизм була икәне килеп сыға.