如果合作博弈的有效解集非空有核，那么核就一定包含在有效解集中