Proof of Triangle Angle Sum Theorem