Network Theorems and Problem Solving