P
Initializing...
Theorem 1.20 (second part): $\ker\Phi\subseteq N$ · Prove2Me