AF.AA'=:BA'.BH

Donc les formules (3) donnent OA' = 0'A'', par suite les points O et O' coïncident, et les deux forces appliquées en O', toutes deux égales à S et de sens contraire, se détruisent; le système de forces considéré se réduit donc à BGA'G', ce qui prouve Téqui valence des couples AFAT' et BGAG'. c. q. f. d.