[It is relatively easy to "divide by 2" without choice, but it is very hard to "divide by 3".][1]


  [1]: https://arxiv.org/abs/math/0605779