P
Initializing...
The Farey dissection of order $P$ has at most $P^2$ arcs · Prove2Me