It makes use of conclusive experiments and proves various propositions of Euclid, but especially those which concern the equality of two figures, by cutting the one in pieces, and putting the pieces together again to make the other.