Cohen structure theorem

Verbal statement
Any complete local equicharacteristic Noetherian ring is a quotient of a power series ring over its residue field.

Symbolic statement
Let $$R$$ be a complete local Noetherian ring with residue field $$K$$. If $$R$$ contains a field, then $$R = Kx_1, x_2, \ldots, x_n/I$$ for some $$n$$ and some $$I$$