The centre is
Every subgroup is normal, since for all and .
Write . A central rotation must satisfy , and no reflection is central for . Hence
The product rule gives
Integrating and applying the divergence theorem proves the identity.
Here and , so
On the boundary, . The nonzero contributions from the faces are respectively , totaling .
Finally, direct contraction gives
whose integral is . Thus the right side is , equal to the left side.
For coordinates , the Jacobian is . Expanding after separating from the remaining coordinates gives
Consequently
and on the surface element is obtained by omitting and replacing by .

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