https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf
g:S^{n-1} \times S^{n-1} \to S^{n-1}から\hat{g}:S^{2n-1} \to S^nを定める。
S^{2n-1}をD^n \times D^nの境界とみなし、
これを\partial D^n \times D^n \cup D^n \times \partial D^nとみなす。
ここから\hat{g}(x,y)=\abs{x}g(x/\abs{x},y) \in D^n- \subset S^nと定める。
