Bogolyubov–Parasyuk-lause sanoo, että uudelleennormalisoidut Greenin funktiot ja sirontamatriisin matriisielementit kvanttikenttäteoriassa ovat vapaita ultraviolettidivergensseista . Todisti N. N. Bogolyubov ja O. S. Parasyuk vuonna 1955 [1] . Myöhemmin yksinkertaisempi todistus lauseesta annettiin myös Anikinin, Zavjalovin, Polivanovin teoksissa [2] .
Lause takaa häiriöteorialla laskettujen Greenin funktioiden ja sirontamatriisin matriisielementtien äärellisyyden, vahvistaa ultraviolettidivergenttien vähentämismenettelyn matemaattisen oikeellisuuden ja takaa kvanttikenttäteorian renormalisoitavissa malleissa saatujen tulosten ainutlaatuisuuden.
Ratkaisee täydellisesti kaikkien erojen vähentämisongelman missä tahansa mielivaltaisen korkeassa häiriöteorian järjestyksessä ja antaa erityisen reseptin tällaiselle vähennykselle R-operaation muodossa .