Category:Stopped Supermartingale is Supermartingale