Если речь идет о доказательстве по-настоящему важном, проверка обычно выявляет все нестыковки или ошибки. Именно поэтому премию за решение «задач тысячелетия» присуждают через два года после публикации: считается, что двадцати четырех месяцев должно быть достаточно для выявления любой ошибки.