. That “ ( x ) . f ⁡ x : ⊃ : f ⁡ a ” is a tautology shows that f ⁡ a follows from ( x ) . f

543