§ 6. Доказательство леммы 4.2
Это доказательство аналогично предыдущему. Пусть
где
Определим множества
Легко проверить, что из (4.13), (4.19) и (4.20) вытекает неравенство 
и
Поэтому 
является 
-подмножеством множества 
, 
Пусть 
Как и выше, можно показать, что 
не является ретрактом 
но является ретрактом 
Поэтому лемма 4.2 вытекает из следствия 3.1.
