Hymn of proof