包含有实质最小项的极大圈就是必要的极大圈。