simple graph subgroup of graph, 1 assertions