I'm facing problem in proving this theorem that shows the existence of free products with amalgamated subgroups.
Although the book gave the proof, but it is very very short and tedious.
I found some similar proof online, but it's still can't clarify everything.
I need a detail proof.
Thank you for those who are patient to explain to me.