Consider the following statement: Theorem $3\mathrm{.}20($slide $6$ module $3\mathrm{.}5)$ establishes that a necessary and sufficient condition for an encryption scheme $$ to satisfy Definition $3\mathrm{.}18($slide $3$ module $3\mathrm{.}5)$ is that the Enc algorithm of $$ be randomized or stateful. Discuss.