>>428 の定理Aから確率が計算できる、と言うためには
無限列x1,…,x100が定数（つまりいちいち変更しない）で無くてはならない

それはx1,…,x100に∀がつかないとか、自由変数でないとか
具体的に全部の項を書き切るとかいう意味ではない