Dependency Graph for lemma 1.0.1