Statement Lemma In the Simulated Annealing algorithm with some assumption which are not specified we have Proof