Since G is not consistent, we must we can use Lemma 1 and write In words, every complete derivation d in D has a probability in R(G) that is strictly greater than in G. But this means , against our hypothesis.
g is consistent and p g is a probability distribution over set D(g).