P

Initializing...

§5, p. 1498 — the 2-parts of all k local orders agree with probability at most 1/2^{k−1} · Prove2Me