C-D20-BASE-NECESSARY

O-A: một phản ví dụ toàn cục sinh phủ mức nền tại mọi prime (cần), nhưng phủ nền KHÔNG đủ: nhân chứng chính xác p=197 phủ ở mức nền nhưng proper ở mức refinement 14. Nên tìm kiếm tương thích phủ-nền là bộ lọc một chiều đúng đắn; mọi survivor phải qua tháp refinement

Nói dễ hiểu

Một phủ đơn-prime là manh mối cần cho phản ví dụ, nhưng không phải bằng chứng; lưới thời gian tinh hơn có thể phá nó.

Phát biểu chính xác

O-A: một phản ví dụ toàn cục sinh phủ mức nền tại mọi prime (cần), nhưng phủ nền KHÔNG đủ: nhân chứng chính xác p=197 phủ ở mức nền nhưng proper ở mức refinement 14. Nên tìm kiếm tương thích phủ-nền là bộ lọc một chiều đúng đắn; mọi survivor phải qua tháp refinement