チラ見でもわかること

Suppose that we are in the situation of the “µ6-version” of [IUTchIII], Corollary 3.12 [cf. Remark 4.2.6],
and that the elliptic curve EF has good reduction at every place ∈ V(F)good∩V(F)non that does not divide 2·3·5·l.

we observe that the various “log(q(−))’s” are independent of the choice of F□,
and that the quantity “| log(q)| ∈ R>0” defined in the µ6-version of [IUTchIII], Corollary 3.12 [cf. Remark 4.2.6],
is equal to (1/2l)·log(q) ∈ R [cf.the definition of “q_v” in [IUTchI], Example 3.2, (iv)].
Moreover, suppose that l ≥ 10^15.
Then one may take the constant “CΘ ∈ R” of the µ6-version of [IUTchIII],Corollary 3.12 [cf. Remark 4.2.6], to be
(l+1)/4·| log(q)|·{(1 + (12·dmod/l)) · (log(d_Ftpd ) + log(f_Ftpd )) + 4.08803 · e~∗mod · l−1/6· (1 −12/l^2 ) · log(q)}− 1
and hence, by applying the inequality “CΘ ≥ −1” of the µ6-version of [IUTchIII], Corollary 3.12 [cf. Remark 4.2.6],
conclude that
1/6· log(q)
≤ (1 + (20·dmod/l)) · (log(d_Ftpd ) + log(f_Ftpd )) ~+ 4.0881 · e~∗mod · l
≤ (1 + (20·dmod/l)) · (log(d_F) + log(f_F)) + 4.0881 · e∗mod · l.

Corollary 3.12を前提した証明にすぎず
Corollary 3.12自体は全く証明していない

真っ先に3.12で検索しただろ？
気づけよ、🐎🦌