Give an argument for graph properties.
Example: Explain why a graph has a Euler cycle if and only if the graph is connected and every vertex has even degree. Show that any tree with n vertices has n - 1 edges.