こういうかなり具体的な問題で独立命題とかありえるんかな
そうなら凄く不思議な感じする
正しいことが示せない→反例は絶対見つからない→正しい
ってなりそうじゃん