なんだ結局「p不定→矛盾」論法なのね