Theorems of Quantum Algorithmic Information Processing