Category:Theorems about stochastic processes