You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
4-methyl-1-prop-2-ynylpiperidine The above is the IUPAC name of a molecule. Write its molecular formula.
user
C9H15N
assistant