これも次元連結システムのちょっとした応用だ