Вклад участника

Теорвер

4. $A \subset B \implies p(A) \le p(B)$ — представим $B = A + (B \setminus A)$, дальше понятно