引理的证明(I) (222)当=1时,=0或=1 ()若2=1,则a1a2 n+62 由于21→2,故a1,a2,…,am+1→B2, 即a1,a2,…,am (i)若=0则,a1,a2,…,an+-61 由于1+1→2, 故α1,a2,…,an1 即 1,a2 6(IV) (2.2.2) βσ = 1 , βσ1 = 0 βσ2 = 1. (i) βσ2 = 1, α1, α2, · · · , αn ` β2. ✘β2 ` β1→β2, α1, α2, · · · , αn ` β1→β2, α1, α2, · · · , αn ` β. (ii) βσ1 = 0 , α1, α2, · · · , αn ` ¬ β1. ✘¬ β1 ` β1→β2, α1, α2, · · · , αn ` β1→β2, α1, α2, · · · , αn ` β. 10