CF BG GA ^ BS

Ensuite, les deux polyèdres SDGEFC, ADFEGB se composent de deux pyramides quadrangulaires SDGEF,- ADGEF, qui sont équivalentes, comme ayant pour base commune la section DGEF, et des hauteurs égales, puisque le point D esl le milieu de SA. D'ailleurs les deux polyèdres en question se composent en outre, l'un du tétraèdre SEFC, et l'autre du tétraèdre AEGB ; or, ces deux tétraèdres sont équivalents. On le démontre en remarquant que le tétraèdre SEFC et le tétraèdre total SABG ont l'angle trièdre G commun, et qu'on a par conséquent [Elém., p. 219, coroll. II)