Law of Simple Conversion of E

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

Then No $P$ is $S$:
 * $\mathbf E \left({P, S}\right)$