annulus theorem