Redirecting to Shannon's source coding theorem