Следовательно, эти постоянные являются каноническими. Эта теорема дана Донкином.