Énoncé du P.F.D.

Il existe au moins un espace-temps galiléen tel que, pour tout ensemble matériel E, le torseur dynamique de E dans cet espace est constamment égal au torseur des efforts extérieurs appliqués à E:

\[\mathcal{D}(E/R_g) = \mathcal{T}(Ext \rightarrow E)\]