It is possible to choose a "d" where ad = n^s-1 but r < k+2. If this is the case, then, for instance if r=2 then d must be multiplied by 10101...01 where the number of zeros between the 1's = r-1 to get a new R. It thus is possible to chose a "d" such that R > is any multiple of r > k+2.
statement 2 is false
let a= 251, b = 326502, c=53 base 7
Then a+b-c=330000; thus d = 2020202 and k=4, r=8
A= 2020202*a=540404032, B=2020202*b= 666266660004, C=2*c=140404036
You state that for k<i<r [i.e. 4<i<8] that A_i + B_i + C_i =0, but this is false.
You should use variables consistently and watch your statements. Also please do not make us have to refer to your earlier proof to understand what you are talking about in the current proof.