Пусть даны две фигуры F1 и F2 и плоскость α. Если каждая плоскость, параллельная плоскости α, пересекая одну фигуру, пересекает также и другую, причем образованные при этом сечения данных фигур имеют равные площади, то данные фигуры имеют один и тот же объем.