球面の場合、
trivial な 2path 以外に nontrivial な nonpath を定義すればよいだけ。
以下同様。お前が考えろクソボケ、どうらいけんもしらん、正則行列自明リストオタクが、いっぺん4 んでこい。