Angle sum property of triangle