theorems of networks 6205854