Law of Simple Conversion of I

Theorem
Consider the particular affirmative categorical statement Some $S$ is $P$:
 * $\map {\mathbf I} {S, P}: \exists x: \map S x \land \map P x$

Then Some $P$ is $S$:
 * $\map {\mathbf I} {P, S}$