Обозначим через подобласть в которой через — подобласть, в которой Вследствие симметричности сферы
Следовательно,
Правая часть является положительной. Таким образом, доказано, что выражение или является строго возрастающей функцией от
Покажем теперь, что постоянна на любой сфере с центром 0° и радиусом и что при возрастании она монотонно убывает. Пусть будет таким ортогональным линейным преобразованием при котором и то видим, что последовательность величин полученная для последовательности целых чисел имеет совместное распределение, которое зависит только Поэтому является постоянной для любой сферы Так как является строго монотонной функцией от то можно показать, что является монотонно убывающей функцией при возрастании Следовательно, условия 1) и 2) предыдущего пункта выполняются и можно проверить гипотезу при помощи последовательного критерия отношений вероятностей, основанного на отношении