О разделенных кодах без запятой

Доказывается, что избыточность квазилинейного кода без запятой $\geq\sqrt n$, где квазилинейным кодом называется смежный класс линейного кода.