 If both formula_138 and formula_139 correspond to formula_95, then lemma 1 will apply, and therefore, the proper value of formula_82 will be computed.Therefore, the probability formula_82 is decoded properly is at least formula_147.Therefore, formula_148 and for formula_149 to be positive, formula_150.