“…The 'if' direction of the theorem was proved in [5,10,15,31] and the 'only if' direction was proved in [16], extending earlier work in [26,8,9,6,12,13]. This theorem was recently extended to 4-manifolds with a fixed point free S 1 -action by Bowden [7].…”