そもそも示せと言われているものが必要十分でない場合、
どこかで絶対必要十分でない論理展開が起きるわな。