Theorem 5.10: The number of radians in an angle is a continuous function of the x coordinate of a point on the moveable arm of the angle kept at a fixed distance from the vertex.
Proof: Since the arc length is an integral function, it is a continuous, even differentiable function.