Structure theorem for Gaussian measures (source code)

= Structure theorem for Gaussian measures
{wiki=Structure_theorem_for_Gaussian_measures}