C-D21-SEED

Định lý đầy đủ seed đã chứng minh: mọi phản ví dụ toàn cục có chặn vào ít nhất một seed được giữ. Tại mỗi seed prime nó hoặc applicable, giữ chữ ký 13-multiset đầy đủ dưới liệt kê đầy đủ, hoặc inapplicable, ghi rằng prime chia tích tốc độ toàn cục theo FA-OB. Đầy đủ mang theo padding, quỹ đạo scale QR, loại hoán vị và dấu bằng bình phương, bội nghiệm lặp và mọi stratum xạ ảnh suy biến. Điều này không phụ thuộc việc liệt kê có kham nổi hay không

Nói dễ hiểu

Đã chứng minh một phản ví dụ thật không bao giờ lọt qua bước seed: mỗi cái để lại dấu vân tay mà một lần quét đầy đủ sẽ giữ.

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

Định lý đầy đủ seed đã chứng minh: mọi phản ví dụ toàn cục có chặn vào ít nhất một seed được giữ. Tại mỗi seed prime nó hoặc applicable, giữ chữ ký 13-multiset đầy đủ dưới liệt kê đầy đủ, hoặc inapplicable, ghi rằng prime chia tích tốc độ toàn cục theo FA-OB. Đầy đủ mang theo padding, quỹ đạo scale QR, loại hoán vị và dấu bằng bình phương, bội nghiệm lặp và mọi stratum xạ ảnh suy biến. Điều này không phụ thuộc việc liệt kê có kham nổi hay không