О несистематических совершенных двоичных кодах

Доказано, что для каждого $n=2^k-1$, $k\geq 8$, существует несистематический совершенный двоичный код длины $n$.