A mathematical result showing that coherent probability assignments must satisfy certain consistency conditions that can be tested via betting.