Fix some of the lemmas for pi_n(S^n)