Luego Bruce escoge arbitrariamente un número formula_17 (que mantendrá secreto) para finalmente calcular: