Discrete-math 22
Subgraphs of a connected graph lemma
Properties of distance function lemma
Relation on vertices definition
Number of connected components definition
Number of edges in a connected graph lemma
Existence of a cycle by edges number lemma