Talk:Feferman–Vaught theorem