Gibbs lemma (source code)

= Gibbs lemma
{wiki=Gibbs_lemma}