The Brouwer fixed-point theorem says that every continuous map has a fixed point. To use the supplied outward vector field zero theorem, first extend the construction to all of . Let
The radial retraction onto a closed ball is continuous, so is a continuous vector field on the required whole space. On , the Cauchy-Schwarz inequality gives
The supplied theorem gives with . There , hence . This explicit extension avoids presuming that the original map was defined outside the ball.