f(a)=f(b)=z ならば a∈f^(-1)(z) かつ b∈f^(-1)(z) だから a R_D b
逆もまた然り

それだけだろ、もういいよわからないふりは