Demuestra: la composición de dos funciones biyectivas es biyectiva