Shannon%27s noiseless coding theorem