이 문서의 목적. 이는 외부 독자를 위한 자립형 참고 자료입니다. 모든 주요 정리, 그들의 증명 상태, 그리고 모든 미해결 문제를 명시하며, 각 결과가 요구하는 것과 허용하는 것을 보여주는 의존 구조를 포함합니다. 여기서는 유도 과정이 주어지지 않으며; 인용은 증명이 나타나는 작업 문서로의 지침을 제공합니다. 상태 레이블: 증명됨 = 프로그램 문서에서 증명됨; 조건부 = 명시적으로 언급된 가설 하에 증명됨; 미해결 = 해법 전략이 알려져 있거나 부분적으로 알려져 있음; 추측 = 추측되었으나 현재 증명 전략이 없음.
Donald G. Palmer (목요일)는 이 문제를 연구했습니다.