Shannon's_source_coding_theorem loading ...