4次元の自由度3の多様体は4次元球にマッピングできる・・・
どこが難しいのだろうか?