7cf3c028e2f206a26d81f6e043807d

2-ary (8, M, 4) 코드에서 M<=16을 증명할려고 합니다.

singleton bound를 사용하면 M<=32가 되지만 n의 값이 너무 작아 singleton bound로는 유효한 M의 범위를 구할 수 없을 것 같습니다.
답은 사진과 같이 M<=16인데 이를 증명하는 방법을 잘 모르겠습니다.

수잘알 행님들 증명법 알려주시면 감사하고 힌트만 주셔도 땡큐할거 같습니다.