Language of FSA

For a FSA $M$:

$$\mathcal{L}(M)=\{x\in {\Sigma }^{\ast }|x\text{ is accepted by }M\}$$

Proving

We can prove this with a State Invariant.