SAEC” SE

De même, en considérant les tétraèdres SAEC, SDEF, qui ont pour sommet commun le point E et pour bases SAC, SDF, on aura

SAEC SAC SDEF “SDF’

et, comme les triangles SAC, SDF, ont un angle égal ASC, on a aussi ( 190)

SAEC SAxSC (2) SDEF SD X SF ’

Multipliant les égalités ( i ) et (2), membre à membre, et supprimant le facteur SAEC commun aux deux termes du premier produit, il vient