proof of 1 l jz then u tai - xiamen universitymath.xmu.edu.cn/group/nona/nla/proofth1.pdf ·...
TRANSCRIPT
-
proof of Theorem1 Linduction on jz
we prove if tjto.jo 1.2 l then U Eliii ⼆二0 and TAI zo U isFjto
a spanfi.AE Ài spanlixo.io __spanqpi.li ⼼心阿⼆二span结 i 闷
Li 2 器器 o riiz.fi ⼀一⼩小啪 i 0p⼆二 ii fit ⼆二脂 it成 EAri t fFAI ApisFi 30 norit tjiòi21iii pint to
spanfni i.it spansij spanSni ri span9i代2170 it ⼆二⼩小 i i 2AI 上
⽔水 狱 in tRi dimspanhi扪i i if I ⼆二iiiiitisiilii
lxiiDN.joand腘肛 Uiajinduction Pithypothesis span i 我 以 1哵 spangiiii i.in 划
⼆二span肺 乃
spanii.nil_Vtli.ly hilt and让1 1i iini iri xi.itthis0 if i 1 1 0 By hypothesis
go.mg
-
if itrisphii.irtI ii tAiiAI iLIi iPuiPir tio ir norl.ltratfuRIAN
TAI 腊 it 㼩itliftIt if ⼆二 ⼆二0 Byhypothesisdi Ei TitNtl ten ⼆二0
if i 1 1TAPE iit IfAli
i d tin2cl l
瑟 是噍 ⼆二 器器L Lit t.npiitfp.to
spanhi i.io i ⼀一划 span pin 问2 ITltllr.sopi.it1 itsi lx io.ci ⼀一划
span Iii rigiiiiii
span i 我 他了了i i 2Api Edimspanfiii.int ⼆二