You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named 4-ethenyl-3-[(Z)-prop-1-enyl]pyrrolidin-2-one is given. What is its corresponding molecular formula?
user
C9H13NO
assistant