P
Initializing...
$H$ is monotone (Erdős 624) · Prove2Me