In this paper we discuss the complementary theorem applied to the typical n-tuple of a Poisson point process. The theorem was first presented by Miles in 1970 and discussed by Santaló in 1976 and, within a Palm measure framework, by Møller and Zuyev in 1996. The theorems put forward by these authors are not correct for all the examples that they present, suggesting that further consideration of their work is needed if one wishes to bring all those examples within the ambit of the complementary theorem. We give alternative analyses of the errant examples and, with a modification of the technicalities in the work of the above authors, move toward a more comprehensive complementary theorem. Some open issues still remain.

Families of Poisson processes defined on general state spaces and with the intensity measure scaled by a positive parameter are investigated. In particular, mean value relations with respect to the scale parameter are established and used to derive various Gamma-type results for certain geometric characteristics determined by finite subprocesses. In particular, we deduce Miles' complementary theorem. Applications of the results within stochastic geometry and particularly for random tessellations are discussed.