A simple derivation of the Fresnel diffraction formula