P
Initializing...
Bernstein's construction, the chain ending in (14) (corrected: sign in the last line) · Prove2Me