reinserted 2 lemmas about paths in total2
Merge pull request #16 from benediktahrens/vv-master

reinserted 2 lemmas about paths in total2