tex graph def and lemmas