theorem
the RLSStruct of RNS1 = the RLSStruct of RNS2
implies 0.(RNS1) = 0.(RNS2);
