この定理で否定している事は
　　長さがNbit以上の全てのファイルを同時にロスなく圧縮出来ない　であって

　Nbitの実在のファイルが圧縮出来ない事は否定していない

実際、ZIP/LHAにより多くの実在するファイルはロスレスに圧縮されている

もちろん、ある圧縮プログラムで圧縮出来ないファイルが常に存在する点は疑いようがない