line graph subgroup of graph, 5 assertions