>>950
もう一度尋ねますが、微分可能だがはめ込みにならない例、はめ込みだが埋め込みでない例、など具体的に構成できますか？
典型的な具体例を構成することが直観的説明になっていることはよくあります。
低次元で簡単な関数を使っていくらでも例を作ることができるので、是非やってみてください。