Let be a Binary Code.
Fix and
The shortened code is

It is code where and some choice of gives