P
Initializing...
§6, eq. (6.17) — each good state is observed with probability at least $1/(20q^2)$ · Prove2Me