Dimostrazione.
Sia

l'espressione matematica della grandezza della quale si vogliono ricavare i valori numerici tramite lo studio del modello in similitudine:
in cui

sono i parametri influenti sul sistema. Procedendo all'adimensionalizzazione dell'espressione sopra si otterrà :
in cui

sono gli ``

'' gruppi adimensionali indipendenti. Il generico elemento

sarà stato ottenuto a partire da un prodotto delle grandezze

ciascuna elevata ad una data potenza per cui in generale si potrà dire:
Le grandezze

a loro volta potranno essere espresse come prodotto delle

grandezze fondamentali

del problema elevate alle potenze

note:
Si potrà allora scrivere:
Poiché tutti i gruppi

sono adimensionali, tutti gli esponenti delle grandezze fondamentali

dovranno essere nulli:
Si ottengono

sistemi lineari omogenei ciasuno costituito da

equazioni in

incognite. Si deduce quindi che per la soluzione dovranno essere fissati per ciascuno degli

sistemi

valori di

. Dovendo essere tali (n-q)-ple indipendenti, esse dovranno essere proprio

:
Risulta pertanto dimostrata la
D.1.