# 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 .