P
Initializing...
Backlund's explicit bound for $N(T)$, $T>2$ · Prove2Me