

EITik  EOTik 1 = lookahead ik 1 q ik 1 , tl ik 1 , EITik 1  (5)

Distingem doua cazuri:

(a) Drumul (i*=i0, i1, i2, ..., in-1, in) se termina la o componenta in care nu are intrari.
(b) Drumul formeaza un ciclu (i*=i0, i1, i2, ..., in=i0=i*)

(a) Pentru in avem EITin   , deci, EITin  tnin . Din (4) urmeaza ca tnin  tni* si folosind (1)

concluzionam ca EOTin  tni* .

EOTin1  mintni*,EITi*
(b) In drumul care formeaza un ciclu (i*=i0, i1, i2, ..., in=i*) din relatia (1) rezulta ca EOTi*≥min{tni*,

EITi*}. Din aceasta relatie, din EITin1  EOTi* si din (4) rezulta ca .

Continuand, putem concluziona ca pentur toate componentele ik in retea

EOTik1 EITik mintni*,EITi* (6)

Deci, de asemenea pentru in=i* avem:

EITin EITi*mint i*,EITi*

astfel EITi*≥tni* (7)