すいません。今戻りました。
馬鹿なのでわかりません。
a は Γ に現れないことによってaはＡに表れなくてもいいことになるんでしょうか？
普通の演繹定理の証明とは少し違う証明になりますか？