Nijboer–Zernike theory