[math-fun] Trisection with folding