undirected graph subgroup of graph, 2 assertions