P
Initializing...
$F(107)\ge 9$: an explicit non-dividing set of nine elements · Prove2Me