3 How Quantum Theorem Proofs Help Quantum Algorithm Development