The Embedding Theorem