Triangle Angle Sum and Triangle Inequality Theorem