 Solution

Let $\mathfrak{m}$ be the maximal ideal and $k=A/\mathfrak{m}$ the finite residue field. The maximal ideal of an Artinian local ring is nilpotent, so ${\mathfrak{m}}^r=0$ for some $r$. Every quotientis both an Artinian $A$-module and a vector space over $k$. An Artinian vector space is finite-dimensional, hence each quotient is a finite set. The finite filtrationtherefore proves that the underlying set of $A$ is finite. This is the Finiteness criterion for an Artinian local ring.