おなかがすいて何も考えられなくなったのでメモを残しとこう - junologyの日記で提示した命題の証明をする。 命題を再掲する（やや改変）。 命題1 は、原点中心、半径の次元球の内部に含まれるとする。 この時 は、次元球面と同相である。 今回は特別な場合…