THEN, BY ASSUMPTION, FOR I ∈ {0,1, . . . , `−2}, KI IS RATIONAL WIT...

2 .Then, by assumption, for i ∈ {0,1, . . . , `−2}, k

i

is rational with denominator at most