From this rather trivial definition, the theorems of the calculus of frequency in finite classes can very easily be derived (more especially, the general multiplication theorem; the theorem of addition; and the theorems of division, ie Bayes's rules.