planar graph subgroup of graph, 1 assertions