Knowledge Source Coding Theorem