>>5>>7
ここレベル低いな
もう 30 年ほど前に森田茂之が S^1×S^7 で見つけている。