А.Н. Ширяев. Prokhorov’s theorem