Mitchell's Embedding Theorem