Physics:Osterwalder-Schrader theorem