ただし "n" ≥ "m" +1.すると、任意の ε &gt;0に対し、埋め込み(あるいははめ込み)ƒε: "mm" → r"n" であって以下の条件を満たすものが存在する。