Grunnlaget for dimensjonal analyse. Teoremet slår fast at en formel for en fysisk system som kan skrives f ( Q ₁, Q ₂,. . . , Q _m) = 0 kan også skrives som g ( π ₁, π ₂,. . . , Π _m − n) = 0 der Q _jeg er m dimensjonale parametere, tall og variabler; Π _jeg er m − n nondimensional mengder; og n er antall grunnleggende dimensjonale enheter.