[K].COC(S)=S