>>92
「式番号」というよりは　「⇔が成立していない箇所」というべきか。