BVG Theorem