Variable Source Coding Theorem: Direct Part