>>116-117の定義の下で>>115は偽だから>>115は証明できない