De basis voor dimensionale analyse. De stelling stelt dat een vergelijking voor een natuurkundig systeem dat kan worden geschreven f (₁ Q, Q ₂,. . . , Q _m) = 0 kan ook geschreven worden als g ( π ₁ π ₂,. . . , Π _m − n) = 0 waar Q _ik m dimensionale parameters, getallen en variabelen zijn; Π _ik zijn m − n nondimensional hoeveelheden; en n is het aantal fundamentele dimensionale eenheden.