If f ∈ Γ, then f−1 ∈ Γ.
如果f ∈ Γ，則f−1 ∈ Γ。