>>113はp=pで、pが不定だということを認めている