Cox theorem