$]$ Define what it means for a cipher to be correct. Show that the cipher Alice

used is correct, and give any conditions you need on the message.