Published in Doklady Akademii Nauk SSSR, 145(2), 293–294.
Cited passages: Karatsuba and Ofman, Multiplication of many-digital numbers by automatic computers, original Russian article, 1962, pp. 293–294: Theorem 2, its proof, and the footnote on p. 294.