X + Y X + X (X + Y , X + Y)