P
Initializing...
Residual core of Erdős #287: no gap-$\le 2$ representation of $1$ with two unit gaps · Prove2Me