More generally, the fundamental group of any graph is a free group.
より一般的に、任意のグラフの基本群は、自由群である。