General proof of the averaged null energy condition for a massless scalar field in two-dimensional curved spacetime | Synapse