つまりアデール環とは(restricted direct product)であるとも言える。