Original: For an encrypted ciphertext, the decryption function is.
Simplified: The decryption function is: