P
Initializing...
Vertical/nonvertical irreducible pair meets in at most $d_1 d_2$ points · Prove2Me