factored two lemmas for tcomp-dist