そもそも論としてSⁿ⁻¹→S²ⁿ⁻¹だったら自明な埋め込みにホモトピックにならない？
専門外だから自信ないけど
ホモトピー同値で取り替えていいの？