Proof Demonstrates a Quantum Advantage, Even for Noisy Quantum Computers