for R being Ring holds Data-Locations = Data-Locations