(R n S x )