Altitudes are concurrent in the orthocenter