A(a)が構造Mで恒真であることと∀xA(x)が構造Mで恒真であることは同値でしょうか?