>>213
>>211の対偶を取れ