Text this: The new theorem of the steady, inviscid, compressible, guided and irrotational flows through internally foliated stream surfaces which are adapted to the geometry of Laval-nozzle casings, demonstrated on a 3D flow.