AならばB。逆にB+αならばA。
という場合のこと