A decomposition theorem for supermartingales · Study