「Aが成立するならばBも成立する」
じゃないのぁ?