Prerequisites For The Disk Embedding Theorem