P
Initializing...
p. A:41 — for large $n$, every machine in $S_n$ is functionally equivalent to $M$ · Prove2Me