Andreotti-Fredricks Local Embedding Theorem