すべての有限列formula_6について、-タプルformula_7はを値にとる確率変数となる。