証明のしようがないことが論文に残っていたらダメだろ