#fundamental group #amalgamated free product #pushout #group theory #algebraic topology #van kampen theorem #π₁