ｸｲｽﾞ大陸

>>14 も >>15も、そうでないときにグループ分けができないこと(必要条件)の説明としては良いのですが、「...でありさえすれば、AとBを同じ数にすることは可能ですよね。」という部分(十分条件)は、結果的にはその通りなのですが、これだけではまだ判断ができません(・o・‖)
ややこしくてすみません、とてもいい線いっているのですけどね