>>151
Bの合併に含まれないAの元があるとすると
その元を含む類がありBの元になるから矛盾