This is essentially the tube lemma.
これは本質的に tube lemma である。