P
Initializing...
Challenge 5: the Erdős–Hajnal property for the path $P_r$ · Prove2Me