もちアルティンはアルティンローカルの有限個の積だよ。