Let
This is another unit-speed embedded curve. The assumed identities say that and have the same positive curvature and the same torsion. By the uniqueness part of the fundamental theorem of regular space curves, there is a proper Euclidean motion such that
Since is a bijection of , this motion preserves .
It is nontrivial. For the plus sign, and would imply , contradicting embeddedness. For the minus sign, the identity would imply for every , and injectivity would force for every , which is impossible. Thus the required nontrivial proper Euclidean motion exists.