devices and network theorems 3429170