An integral formula for the -prime curvature in 3-dimensional CR geometry

We give an integral formula for the total $Q^\prime$-curvature of a three-dimensional CR manifold with positive CR Yamabe constant and nonnegative Paneitz operator. Our derivation includes a relationship between the Green's functions of the CR Laplacian and the $P^\prime$-operator.