text: The flow being incompressible, a stream function can be found such that
  It follows from this definition, using vector identities,
  Therefore, a contour of a constant value of  will also be a streamline, a line tangent to . For the flow past a cylinder, we find: