Exterior angle property