Auter space An is contractible. A. Hatcher and K. Vogtmann constructd a stratification of An into subspaces An,k such that An,k is kconnected. Their argument that An,k is (k−1)-connected, the Degree Theorem and its proof, is somewhat global in nature. Here we present a combinatorial substitue for the Degree Theorem that uses only local considerations to show that An,k is (k − 1)-connected. LetR...