Dependency Graph for lemma 1.0.2