Let and be compact oriented smooth manifolds of the same dimension, with connected. Let be a smooth function. Take a regular value of and, for , define as if preserves orientation at and as if it reverses the orientation. We define the degree of as the number .

Prove the following extension theorem: Assume is a -dimensional sphere and is the boundary of a compact oriented -manifold . There exists a smooth extension of if and only if .