Cox's theorem (source code)

= Cox's theorem
{wiki=Cox's_theorem}