 This procedure is repeated with different formula_10 and formula_15 values until Victor is satisfied that Peggy does indeed possess the modular square roots (formula_6) of his formula_7 numbers.In the procedure, Peggy does not give any useful information to Victor.She merely proves to Victor that she has the secret numbers without revealing what those numbers are.