由实用算术的开方法引出的问题

hbghlyj

$s,r$∈N,$s≤10^k-1$,100$s^2+r≤10^{2k+2}-1$,$s'=[\sqrt{100s^2+r}]-10s$,证明:s'≤9