は("s" が部分群でなくとも)"g" の部分群となる。