(Olasılık kuramı) Durağan bir olasılıksal sürecin ortak-değişke işlevinin artı tanımlı olduğuna ilişkin kanıtsav.