Theory of Martingales