Computer aided proof of heights of a triangle are concurrent