Quantum and Probabilistic Computers Rigorously Powerful than Traditional Computers, and Derandomization