Proof of summed form of proper-time expansion for propagator in curved space-time | Synapse