Доказательство считается достоверным, если в результате проверки выяснится, что оно соответствует действительности.