>>646
〜が成立することが必要であるというのと
〜が成立することが必要条件である
というのは違う