Lo que muestra que este conjunto coincide con C