P

Initializing...

Proposition 3.2, proof — $\#I_{**} = \frac29 N$ and $\#J_{**} = \frac79 N$ · Prove2Me