Simple Proof of Security of the BB84 Quantum Key Distribution Protocol_Peter W. Shor and John Preskill_p441_1.pdf