{\displaystyle \forall K:D_{K}(E_{K}(P))=P.}