In this post we show that the class of regular local rings (the abstract version of power series rings) is a subclass of Cohen-Macaulay ring.