Suppose a group \(G\) has a finite index subgroup that maps onto the free group of rank 2. Show that every countable group can be embedded in one of the quotient groups of \(G\).

The best solution was submitted by 하석민 (수리과학과 2017학번). Congratulations!

Here is his solution of problem 2019-16.