podgraph
Proof · podgraph