Proving the Triangle Sum Theorem