단위 구면 상의 근최적 직교쌍 자유 집합의 볼록성

단위 구면 상의 직교쌍 자유 집합 중 유한 개의 상호 배타적 볼록 집합으로 구성된 집합의 측도가 double cap 추측이 참이 아닌 경우 double cap의 측도보다 크다.