Closed forms of the achievable rate region for Wyner's source coding systems.