したがってアルティン写像から同型