several theorems about graphs#125

muenchnerkindl wants to merge 3 commits into

mastertlaplus/CommunityModules:masterfrom

graphstlaplus/CommunityModules:graphsCopy head branch name to clipboard