Mathematical theorem that, over a Noetherian complete local ring, the categories of Noetherian and Artinian modules are anti-isomorphic