tuned proofs
Finite*Graph
Merge pull request #2 from diekmann/topic/fixes-2

General editing