CF BG CA "~ 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 est 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 SABC ont l'angle trièdre C commun, et qu'on a par conséquent (Elém., p. 219, coroll. II)