  To check the consistency of positivity requirements for the two-point
correlation function of the topological charge density, which were identified
in a previous paper, we are computing perturbatively this two-point correlation
function in the two-dimensional O(3) model. We find that at the one-loop level
these requirements are fulfilled.
