Source coding theorem