[math-fun] rectangle folding puzzle