DK(DK)=CK(DKC), DK(DKC)=CK(DKCR)?