Theorem 2.1 ([1]}) 
If \(\operatorname{BH}(n,k)\ne \emptyset \)  and
\(p_{1},\ldots ,p_{r}\)  are the primes
dividing \(k\) , then
\(n = a_{1}p_{1} + \cdots + a_{r}p_{r}\) 
for some non-negative integers
\(a_1,\ldots , a_r\) .

