Proposición 9.4.2 (Propiedad Universal de los Espacios Cocientes)