Topology Optimization Theory for Laminar Flow