Antwort
Für mich ist Hochmut eine ganz bestimmte Art von Stolz, nämlich eher Arroganz und Anmaßung.
https://de.m.wikipedia.org/wiki/Hochmut
Davon abgesehen: Ich kann nur stolz auf etwas sein, was ich selbst vollbracht habe. Also bin ich es demzufolge nicht auf die Leistung Anderer. Wenn ich aber Anderen helfen konnte etwas zu vollbringen, dann freut mich das.