Length of an arc between two angles: Difference between revisions