Optimal Redundancy In Exact Channel Synthesis