Bekukan sebuah bilangan bulat \(k\geq2\text{.}\) Hipotesis harus berlaku untuk \(B_1,\ldots,B_k\text{;}\) target menambahkan \(B_{k+1}\text{.}\)