Consider separate encoding of correlated sources

for the decoder to reliably reproduce a function

. We establish the necessary and sufficient condition for the set of all achievable rates to coincide with the Slepian-Wolf region whenever the probability density

is positive for all

.