C-D24-COUPLING

Ghép CRT refined D24 PROVED-INTERNAL: với mỗi prime áp dụng p (nguyên tố cùng nhau với 84, p>7), V_i mod 84 và V_i mod p ghép bằng CRT thành V_i mod 84p, và bài con refined cục bộ chứng nhận impropriety trên lưới lồng {j/(l p)} trả REFINED-MATCH / REFINED-EMPTY-CERTIFIED / OPEN-INCOMPLETE với chứng minh replay được

Nói dễ hiểu

Đồng hồ toàn cục và mỗi prime được ghép chính xác, nên kiểm lưới tinh chạy trên một bức tranh nhất quán.

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

Ghép CRT refined D24 PROVED-INTERNAL: với mỗi prime áp dụng p (nguyên tố cùng nhau với 84, p>7), V_i mod 84 và V_i mod p ghép bằng CRT thành V_i mod 84p, và bài con refined cục bộ chứng nhận impropriety trên lưới lồng {j/(l p)} trả REFINED-MATCH / REFINED-EMPTY-CERTIFIED / OPEN-INCOMPLETE với chứng minh replay được