Η Συμφωνία του Χάλερ: αποδεδειγμενον