Bài giảng Phương pháp giải mã vòng Meggitt
(Bản scan) Định lý 6.7: Bộ mã vòng (n,k) có thể dò được tất cả các mẫu sai nhỏ hơn hoặc bằng (n-k) bit (kể cả độ dài sai vòng) Bổ đề: Nếu bộ mã vòng (n,k) có khả năng phát hiện được đa thức gây sai e(x) thì sẽ phát hiện được tất cả các đa thức gây sai e^i(x) là đa thức chuyển vòng i bit của e(x)(i=1,n-1)