A theorem in fluid dynamics that pertains to the kinetic energy of an ideal fluid (that is, inviscid, incompressible, and irrotational) and provides uniqueness statements concerning the solution of potential-flow problems.