Цахим шуудангийн бүртгэл: Теория мартингалов