Then, "J" is "K" · "X" integrable if and only if "JK" is "X" integrable, in which case*:formula_15* Dominated convergence.
Then, "J" is "K" · "X" integrable if and only if "JK" is "X" integrable, in which case:: formula_20* Dominated convergence.