P
Initializing...
prop:block (ii): $n_+(Q) \le p$ · Prove2Me