Category:Adapted Stochastic Process is Supermartingale iff Negative is Submartingale