Angle sum property and exterior angle property of triangle