 sends the boundary of each  -simplex   in   to  . By hypothesis,   is  -connected, so this map of the  -sphere   can be extended to a continuous map of the  -disk  :  These extensions agree on the  -skeleton, so together they define a continuous map,  where for each  ,  .  