n次元球面がn次元多様体であるの証明ってどうやるんですか?