>>112
なり得ないという保証は無い
一見、Aよりも仮定を弱くしたつもりでも
実はBならばA'も言えてA⇔B⇔A'という同値関係と分かることもあるから

必要条件になる場合もある、ならない場合もあるとしか