(This is a particular form of the deduction theorem.
（這是演繹定理的特定形式。