結論

意味

「AならばBである」という分において、「Bである」の部分のこと