A defendant was charged and convicted of felony murder as a participant in a robbery in which the store clerk was murdered by his accomplice. The authorities then indicted and convicted him of robbery with a firearm. The two prosecutions were not the same offense because felony murder could be proved by proof of any felony, not just robbery, and robbery with a firearm did not require proof of a death. However, the prosecution acknowledged that it was necessary for all the ingredients of the underlying felony of robbery with a firearm to be proved in the felony-murder trial. Will the defendant prevail on appeal in getting the robbery with a firearm conviction dismissed with prejudice on the basis of a double jeopardy violation?