P
Initializing...
prop:block (i): $n_+(A) \le s_1 + s_2 + p$ · Prove2Me