proper_subgraph