HERMIT.Libraries.Int
lemmas