On the Strain Energy in Cyclopropene and the Heat of Formation of the C3H3+Ion