Angle sum property - Angle sum property of a triangle