reinserted 2 lemmas about paths in total2