したがって環 "a" は単純アルティン環の有限個の直積に同型であり、この表示は因子の積の順序の違いを除いて一意的である。