Extreme points of coherent probabilities in finite spaces

Every coherent probability (= F-probability) F on a finite sample space Ωk with k elements defines a set of classical probabilities in accordance with the interval limits. This set, called “structure” of F, is a convex polytope having dimension ⩽ k − 1. We prove that the maximal number of extreme points of structures is exactly k!.