Single-Slit Diffraction: Derivation, Formula, and Pattern