Единственность некоторых линейных подкодов двоичного удлиненного кода Голея

Доказано, что с точностью до эквивалентности существуют ровно два $[18,6,8]-кода и только один $[n,n-12,8]$-код, $19\le n\le 23$. Все рассматриваемые коды могут быть получены подходящим укорочением двоичного $[24,12,8]$-кода Голея.