Martingale Theory