The altitudes of a triangle are concurrent