Алгоритмическая случайность и разбиение супермартингалов

Одно из (эквивалентных) определений случайности последовательности в смысле Мартин-Лёфа использует перечислимые снизу супермартингалы. Мы показываем, что не всякий такой супермартингал можно заменить двумя, делающими ставки только на четных и только на нечетных членах последовательности.