Quantum Key Distribution; Theory