도 160 의 변환 검사 행렬 H ' 에 대하 여 , 도 159 의 원래 의 검사 행렬 H 의 LDPC 부호 에 , 식 ( 12 ) 와 동일 한 치환 을 행한 것 을 곱하 면 , 0 벡터 가 출력 된다 . 즉 , 원래 의 검사 행렬 H 의 LDPC 부호 ( 1 부호어 ) 로서 의 행 벡터 c 에 , 식 ( 12 ) 의 열 치환 을 실시 하 여 얻 어 지 는 행 벡터 를 c ' 로 나타내 기 로 하 면 , 검사 행렬 의 성질 로부터 , HcT 는 , 0 벡터 로 되 기 때문 에 , H ' c ' T 도 , 당연히 0 벡터 로 된다 .