checked second part: G = \pi_1(X, x_0)