Haller's Concordance: DEMONSTRAVIT