Bài tập 9, § 6

Cho $F$, $G$ là hai tập hợp, cho $R$ là một quan hệ tương đương trên $F$, cho $p$ là ánh xạ chính tắc từ $F$ lên $F/R$, và cho $f$ là một toàn ánh từ $G$ lên $F/R$. Chứng minh rằng tồn tại một tập hợp $E$, một toàn ánh $g$ từ $E$ lên $F$, và một toàn ánh $h$ từ $E$ lên $G$, sao cho $p \circ g = f \circ h$.