逻辑后果，普遍闭合，替代，一阶逻辑，统一

Question

谁能帮助我证明：

F公式实例的通用闭包是F的普遍闭合的逻辑结果。

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

感谢。