locality, Lorentz inv. gauge inv. spinor yi vector Am interaction reprensatation perturbation S-matrix provability Wick's theorem S-matrix provability provability P?…