Fold-and-cut theorem

The Fold-and-Cut theorem is a result in computational geometry and combinatorial geometry that deals with the problem of folding paper to achieve a desired cut. Specifically, it states that any shape that can be formed by a straight cut through a folded piece of paper can be realized by an appropriate folding of the paper beforehand.