Suppose is defined on such that , exists.
The inner integral is first solved, assuming as a constant, which results in a function of .