Add how-to for checking if one graph is a subgraph of another.

Add an example in the comments and it is good to go otherwise.