定长源编码定理

fixed length source coding theorem