Fold-and-cut theorem · HackerTrans