このときモーデルの弱定理より "a" が有限集合でも構わないことがわかる。