下降鎖条件(DCC)とアーティニアン環