 The length of the input for this computation is:   \[l(\overline{U}_j^F \ \overline{T}_i^jx) = c + l(\overline{T}_i^jx)\]   Consequently the specification of the input for the computation \(T_i(x)\) on the universal machine \(U_F\) never needs to be longer than a constant. \(\Box\) 