In Cartesian coordinates, calculate the divergence by differentiating each component with respect to its matching coordinate:
For the curl, take the alternating cross-derivatives:
The implication means that , so . By the definition of conditional probability,
This implication gives ; it does not make the two events independent.
Near , use , so and . The Taylor series therefore begins
The constant term is one of the requested three terms. The local expression is legitimate because this neighbourhood has .
The determinant is , so the matrix inverse exists. Using the two-by-two adjugate matrix formula gives
Multiplication on either side gives the identity matrix, which also checks the signs of the off-diagonal entries.
The chain rule identifies an antiderivative directly:
The upper limit in the PDF is . By the fundamental theorem of calculus, the required integral is

There are unlisted articles, also show them or only show them.