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