可微分全単射は微分同相とは"限らない"、例えば "f"("x")＝ "x"3はrから自身への微分同相ではない、なぜならば微分が0において消える(したがって逆関数が0において微分可能でない)からである。