theorem
the RLSStruct of RNS1 = the RLSStruct of RNS2
implies the carrier of RNS1 = the carrier of RNS2;
