La condición Im("f") ⊆ "C" asegura precisamente que este segundo paso se pueda llevar a cabo.