moreover it is immediate that the iterated integral is positive if F is positive. The equality above is a simple case of Fubini's theorem, involving no measure theory. Titchmarsh (1939) proves it in a straightforward way using Riemann approximating sums corresponding to subdivisions of a rectangle into smaller rectangles.