あ、なるほど
あえて本来の単語使わなかったけど
存在しないものを証明することについての命題ご存知でないか
そうなると話が違ってくるよな困った