# A new easy theorem

I added a new easy to prove proposition to my book:

Proposition An endofuncoid $f$ is $T_{1}$-separable iff $\mathrm{Cor}\langle f\rangle^{\ast}\{x\}\sqsubseteq\{x\}$ for every $x\in\mathrm{Ob}\, f$.