Сначала я доказываю,

а потом верю в то,

что смогу вернуться

и поискать ошибку

в своем доказательстве