فرض کنید 
شامل نقاط روی سطح یک کره. تعریف 
به عنوان طول قوس از دایره بزرگ عبور از نقاط 
و 
بر روی سطح کره است. نشان می دهد که 
برای همه نقاط 
برقرار است.
شامل نقاط روی سطح یک کره. تعریف به عنوان طول قوس از دایره بزرگ عبور از نقاط و بر روی سطح کره است. نشان می دهد که برای همه نقاط برقرار است.
