Сначала появляется видение. Доказательство приходит позже.