What is the constant of proportionality for the relationship between the length of the arc intercepted by a 80 degree angle and the radius of the circle?