述語論理の形式的体系の演繹定理：
Γ, A├ B ⇒ Γ├ A→B
（一般化規則 「A から ∀xA を導いてよい」 を適用する際、
x は A が依存する仮定に自由変数として現れないものとする）

なんですけど、
Γの元や A が閉論理式である、
といったような仮定無しに無条件に成り立ちますよね？