Osnova za razsežnostne analize. Izrek pravi, da enačbo za fizikalni sistem, ki lahko zapišemo f ( Q ₁, Q ₂. . . , Q _m) = 0 lahko zapišemo tudi kot g ( π ₁, π ₂. . . , Π _m − n) = 0, kjer Q _sem so m dimenzionalni parametrov, števila in spremenljivke; Π _i so m − n nondimensional količinah; in n je število temeljnih dimenzij enot.