阿廷猜想

Artinian conjecture