Immersions in Euclidean space are isotopic in its square

From Diffgeom

Statement

Suppose are two immersions. Consider embedded inside . Then, the induced immersions of in are isotopic as immersions in .

Proof

The key idea of the proof is to swing from the first factor to the second factor , and then swing back, gradually changing to .