>>469
AがBを含んでたら成り立つんじゃない