network theorems