 By the Cameron–Martin theorem, "γ" would then be quasi-invariant under translation by any element of "H", which implies that either "H" is finite-dimensional or that "γ" is the zero measure.In either case, we have a contradiction.Sazonov's theorem gives conditions under which the push forward of a canonical Gaussian cylinder set measure can be turned into a true measure.