Esto es, que "f" se factoriza a través de π, donde π es el mapeo de proyección canónica "X" → "X"/~, tal que formula_4.