שינויים
/* קוד לינארי */
*טענה:
**לכל וקטור <math>Hv=0</math> אם ורק אם <math>v</math> הוא מהצורה <math>v=Gx</math>.
***הוכחה:
***נוכיח ראשית ש<math>HG=0</math>, ולכן ברור שאם <math>v=Gx</math> אזי <math>Hv=0</math>.
***לכל i מתקיים כי <math>\left[HG\right]_{ij}=R_i(H)C_j(G)=R_i(A)C_j(I)+R_i(I)C_j(A)=a_{ij}+a_{ij}=0</math> (זכרו שאנו מעל השדה <math>\mathbb{Z}_2</math>).
**כלומר קוד <math>v</math> הינו תקין אם ורק אם <math>Hv=0</math>.
checksum בפרוטוקולי IP, TCP, UDP.
