Terapkan hipotesis induksi pada \(B_1,\ldots,B_k\) untuk memperoleh \(C\text{,}\) lalu gunakan kondisi kedua pada \(C\) dan \(B_{k+1}\text{.}\)