视频压缩后数据量变小的前提是压缩前的视频存在冗余。（）