EXY k Y(Y) C X(X)k