State and prove the max-flow min-cut theorem for network flows.