Evans' Embedding Theorem