But ∀(∀x) = ∀x can be proved from (1)–(4).
但是 ∀(∀x) = ∀x 不能从 (1)-(4) 来证明。