Meyer's theorem on predictability