Верно, причём оба варианта. Длины слов верные, а про упорядоченность слов по алфавиту никто и не говорил.
Нестрогое неравенство выполняется, значит, существует разделимый код. Вы тут привели два варианта префиксного.