  Properties of Green's functions may be derived in either first or second
quantisation. We illustrate this with a factorisation property for propagators
in arbitrary spacetimes, and apply it to scalar fields in AdS space.
