P
Initializing...
Eq. (3.11) — Corollary 3.2 rewritten over $N_1$ and $N_2$ · Prove2Me