正規部分群じゃないと無いとそれは成り立たないだろ。
逆に言うと様相論理≠和声学であるから>>215はそういう書き方をしたに
決まってるだろ。アホ