A technical short lesson on why public-key encryption scheme
secure under chosen-plaintext attack grant indistinguishable
multiple ciphers.
I have shown a formal proof of a
simplification of this theorem which is then used as intuition
to create the complete proof.