Kraft-McMillan theorem