Law of Simple Conversion of E

Theorem
Consider the universal negative categorical statement No $S$ is $P$:
 * $\map {\mathbf E} {S, P}: \forall x: \map S x \implies \neg \map P x$

Then No $P$ is $S$:
 * $\map {\mathbf E} {P, S}$