substitution - 逻辑结果、全封闭、替代、一阶逻辑、统一

Question

谁能帮我证明：

公式 F 的一个实例的全封闭是 F 的全封闭的逻辑结果。

 i.e., Show that ∀F |= ∀(Fθ), where
       F: a formula
       θ: a substitution  

谢谢。