Exterior angle sum property of triangle