Si Γ ├ A, entonces Γ ╞ A