holds for arbitrary networks