The Detectability Lemma and Quantum Gap Amplification - Itai Arad