Annulus conjecture

  1. redirectAnnulus theorem