for any claimed quantum system Q, there exists a classical system C that produces identical outputs:

∀Q,∃C:∀x,Q(x)=C(x)forall Q, exists C : forall x, Q(x) = C(x)∀Q,∃C:∀x,Q(x)=C(x)

Proof:

Let Q be any claimed quantum system

Observe that Q runs on classical hardware

Map operations to classical matrix calculations

Therefore C exists and equals classical simulation

QED