$2\mathrm{.}15.$ Prove that an encryption scheme $$ has one$-$time secrecy if and only if the following two

libraries are interchangeable:

Note: you must prove both directions of the if$-$and$-$only$-$if with a hybrid proof.