Variable-Length Source Coding Theorem