正しいかどうか調査していない証明を放置するルールがある